public Cond ( |
||
p | ||
t1 | Microsoft.Z3.Tactic | |
t2 | Microsoft.Z3.Tactic | |
Résultat | Microsoft.Z3.Tactic |
public Cond ( |
||
p | ||
t1 | Microsoft.Z3.Tactic | |
t2 | Microsoft.Z3.Tactic | |
Résultat | Microsoft.Z3.Tactic |