diff options
Diffstat (limited to 'tactics/tacticals.ml')
| -rw-r--r-- | tactics/tacticals.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tactics/tacticals.ml b/tactics/tacticals.ml index 6978efdba..475b29be4 100644 --- a/tactics/tacticals.ml +++ b/tactics/tacticals.ml @@ -63,6 +63,9 @@ let tclPROGRESS = Refiner.tclPROGRESS let tclWEAK_PROGRESS = Refiner.tclWEAK_PROGRESS let tclNOTSAMEGOAL = Refiner.tclNOTSAMEGOAL let tclTHENTRY = tclTHENTRY +let tclIFTHENELSE = tclIFTHENELSE +let tclIFTHENSELSE = tclIFTHENSELSE +let tclIFTHENSVELSE = tclIFTHENSVELSE let unTAC = unTAC |