diff options
| author |  corbinea <corbinea@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-06-20 13:49:47 +0000 |
|---|---|---|
| committer | corbinea <corbinea@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-06-20 13:49:47 +0000 |
| commit | e05172b682a8ceec5e8e0a26f7d4ba5fe49e554f (patch) | |
| tree | b8e29b06955a246a1bfcfa096afa58d17a2b4336 /tactics/tacticals.ml | |
| parent | 5a79547ba17c0c372127cce5939b8108499497f7 (diff) | |
Ground Update.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4188 85f007b7-540e-0410-9357-904b9bb8a0f7
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 |