]>
drwxr-xr-x | .. | ||
-rw-r--r-- | 1322 | .depend | blob | history | raw |
-rw-r--r-- | 1322 | .depend.opt | blob | history | raw |
-rw-r--r-- | 291 | Makefile | blob | history | raw |
-rw-r--r-- | 825 | README | blob | history | raw |
-rw-r--r-- | 10723 | nCicElim.ml | blob | history | raw |
-rw-r--r-- | 943 | nCicElim.mli | blob | history | raw |
-rw-r--r-- | 1092 | nCicTacReduction.ml | blob | history | raw |
-rw-r--r-- | 803 | nCicTacReduction.mli | blob | history | raw |
-rw-r--r-- | 27323 | nDestructTac.ml | blob | history | raw |
-rw-r--r-- | 785 | nDestructTac.mli | blob | history | raw |
-rw-r--r-- | 7038 | nInversion.ml | blob | history | raw |
-rw-r--r-- | 873 | nInversion.mli | blob | history | raw |
-rw-r--r-- | 18139 | nTacStatus.ml | blob | history | raw |
-rw-r--r-- | 4605 | nTacStatus.mli | blob | history | raw |
-rw-r--r-- | 22296 | nTactics.ml | blob | history | raw |
-rw-r--r-- | 4344 | nTactics.mli | blob | history | raw |
-rw-r--r-- | 59665 | nnAuto.ml | blob | history | raw |
-rw-r--r-- | 1410 | nnAuto.mli | blob | history | raw |