]> matita.cs.unibo.it Git - helm.git/tree
6669fd778be9da37b011873b07636b11672d84a7
-rw-r--r-- 12210 .depend
-rw-r--r-- 12210 .depend.opt
-rw-r--r-- 2046 Makefile
-rw-r--r-- 77173 auto.ml
-rw-r--r-- 2263 auto.mli
-rw-r--r-- 5489 autoCache.ml
-rw-r--r-- 1745 autoCache.mli
-rw-r--r-- 1931 autoTypes.ml
-rw-r--r-- 1648 autoTypes.mli
-rw-r--r-- 3935 automationCache.ml
-rw-r--r-- 1412 automationCache.mli
-rw-r--r-- 20161 closeCoercionGraph.ml
-rw-r--r-- 1561 closeCoercionGraph.mli
-rw-r--r-- 6787 compose.ml
-rw-r--r-- 1168 compose.mli
-rw-r--r-- 11924 continuationals.ml
-rw-r--r-- 4134 continuationals.mli
-rw-r--r-- 10674 declarative.ml
-rw-r--r-- 2512 declarative.mli
-rw-r--r-- 24390 destructTactic.ml
-rw-r--r-- 1295 destructTactic.mli
drwxr-xr-x - doc
-rw-r--r-- 6612 eliminationTactics.ml
-rw-r--r-- 1285 eliminationTactics.mli
-rw-r--r-- 14668 equalityTactics.ml
-rw-r--r-- 1582 equalityTactics.mli
-rw-r--r-- 7658 fourier.ml
-rw-r--r-- 1088 fourier.mli
-rw-r--r-- 43428 fourierR.ml
-rw-r--r-- 170 fourierR.mli
-rw-r--r-- 6918 fwdSimplTactic.ml
-rw-r--r-- 1312 fwdSimplTactic.mli
-rw-r--r-- 20075 hashtbl_equiv.ml
-rw-r--r-- 1690 hashtbl_equiv.mli
-rw-r--r-- 2997 history.ml
-rw-r--r-- 1147 history.mli
-rw-r--r-- 1987 introductionTactics.ml
-rw-r--r-- 1200 introductionTactics.mli
-rw-r--r-- 14255 inversion.ml
-rw-r--r-- 1239 inversion.mli
-rw-r--r-- 9129 inversion_principle.ml
-rw-r--r-- 1291 inversion_principle.mli
-rw-r--r-- 18587 metadataQuery.ml
-rw-r--r-- 2569 metadataQuery.mli
-rw-r--r-- 3556 negationTactics.ml
-rw-r--r-- 1094 negationTactics.mli
drwxr-xr-x - paramodulation
-rw-r--r-- 42475 primitiveTactics.ml
-rw-r--r-- 3510 primitiveTactics.mli
-rw-r--r-- 27431 proofEngineHelpers.ml
-rw-r--r-- 5511 proofEngineHelpers.mli
-rw-r--r-- 36068 proofEngineReduction.ml
-rw-r--r-- 3306 proofEngineReduction.mli
-rw-r--r-- 7283 proofEngineStructuralRules.ml
-rw-r--r-- 1302 proofEngineStructuralRules.mli
-rw-r--r-- 3415 proofEngineTypes.ml
-rw-r--r-- 2702 proofEngineTypes.mli
-rw-r--r-- 8958 reductionTactics.ml
-rw-r--r-- 1814 reductionTactics.mli
-rw-r--r-- 22498 ring.ml
-rw-r--r-- 272 ring.mli
-rw-r--r-- 71701 setoids.ml
-rw-r--r-- 2770 setoids.mli
-rw-r--r-- 7214 statefulProofEngine.ml
-rw-r--r-- 4292 statefulProofEngine.mli
-rw-r--r-- 9338 tacticChaser.ml
-rw-r--r-- 9675 tacticals.ml
-rw-r--r-- 1902 tacticals.mli
-rw-r--r-- 3010 tactics.ml
-rw-r--r-- 4365 tactics.mli
-rw-r--r-- 5180 universe.ml
-rw-r--r-- 2212 universe.mli
-rw-r--r-- 2179 variousTactics.ml
-rw-r--r-- 1034 variousTactics.mli