]>
-rw-r--r-- | 1211 | .depend | blob | raw |
-rw-r--r-- | 1045 | .depend.opt | blob | raw |
-rw-r--r-- | 336 | Makefile | blob | raw |
-rw-r--r-- | 825 | README | blob | raw |
-rw-r--r-- | 2483 | andOrTree.ml | blob | raw |
-rw-r--r-- | 2155 | andOrTree.mli | blob | raw |
-rw-r--r-- | 56491 | nAuto.ml | blob | raw |
-rw-r--r-- | 1036 | nAuto.mli | blob | raw |
-rw-r--r-- | 10723 | nCicElim.ml | blob | raw |
-rw-r--r-- | 943 | nCicElim.mli | blob | raw |
-rw-r--r-- | 1092 | nCicTacReduction.ml | blob | raw |
-rw-r--r-- | 803 | nCicTacReduction.mli | blob | raw |
-rw-r--r-- | 19880 | nDestructTac.ml | blob | raw |
-rw-r--r-- | 747 | nDestructTac.mli | blob | raw |
-rw-r--r-- | 7282 | nInversion.ml | blob | raw |
-rw-r--r-- | 863 | nInversion.mli | blob | raw |
-rw-r--r-- | 17884 | nTacStatus.ml | blob | raw |
-rw-r--r-- | 4505 | nTacStatus.mli | blob | raw |
-rw-r--r-- | 20872 | nTactics.ml | blob | raw |
-rw-r--r-- | 4202 | nTactics.mli | blob | raw |
-rw-r--r-- | 62009 | nnAuto.ml | blob | raw |
-rw-r--r-- | 1032 | nnAuto.mli | blob | raw |
-rw-r--r-- | 4014 | zipTree.ml | blob | raw |
-rw-r--r-- | 1609 | zipTree.mli | blob | raw |