]> matita.cs.unibo.it Git - helm.git/tree
03f648e3c51a1b2fe878b5dd3c2c48ad0197ecd9
-rw-r--r-- 59 .cvsignore
-rw-r--r-- 5217 .depend
-rw-r--r-- 690 Makefile
-rw-r--r-- 32357 discriminationTactics.ml
-rw-r--r-- 1220 discriminationTactics.mli
-rw-r--r-- 9588 eliminationTactics.ml
-rw-r--r-- 1345 eliminationTactics.mli
-rw-r--r-- 8043 equalityTactics.ml
-rw-r--r-- 1475 equalityTactics.mli
-rw-r--r-- 5290 filter_auto.ml
-rw-r--r-- 1240 filter_auto.mli
-rw-r--r-- 7658 fourier.ml
-rw-r--r-- 1088 fourier.mli
-rw-r--r-- 43260 fourierR.ml
-rw-r--r-- 170 fourierR.mli
-rw-r--r-- 1958 introductionTactics.ml
-rw-r--r-- 1200 introductionTactics.mli
-rw-r--r-- 7993 match_concl.ml
-rw-r--r-- 1858 match_concl.mli
-rw-r--r-- 2991 negationTactics.ml
-rw-r--r-- 1094 negationTactics.mli
-rw-r--r-- 10500 newConstraints.ml
-rw-r--r-- 2359 newConstraints.mli
-rw-r--r-- 22342 primitiveTactics.ml
-rw-r--r-- 1619 primitiveTactics.mli
-rw-r--r-- 4279 proofEngineHelpers.ml
-rw-r--r-- 1633 proofEngineHelpers.mli
-rw-r--r-- 32268 proofEngineReduction.ml
-rw-r--r-- 1899 proofEngineReduction.mli
-rw-r--r-- 5823 proofEngineStructuralRules.ml
-rw-r--r-- 1109 proofEngineStructuralRules.mli
-rw-r--r-- 2431 proofEngineTypes.ml
-rw-r--r-- 1950 proofEngineTypes.mli
-rw-r--r-- 5029 reductionTactics.ml
-rw-r--r-- 1493 reductionTactics.mli
-rw-r--r-- 21616 ring.ml
-rw-r--r-- 272 ring.mli
-rw-r--r-- 8771 statefulProofEngine.ml
-rw-r--r-- 3707 statefulProofEngine.mli
-rw-r--r-- 9335 tacticChaser.ml
-rw-r--r-- 1506 tacticChaser.mli
-rw-r--r-- 8068 tacticals.ml
-rw-r--r-- 1766 tacticals.mli
-rw-r--r-- 10176 variousTactics.ml
-rw-r--r-- 1300 variousTactics.mli