]> matita.cs.unibo.it Git - helm.git/tree - helm/software/matita/tests/
matita-icon
[helm.git] / helm / software / matita / tests /
drwxr-xr-x   ..
drwxr-xr-x - TPTP
-rw-r--r-- 1330 absurd.ma
-rw-r--r-- 2149 apply.ma
-rw-r--r-- 1215 apply2.ma
-rw-r--r-- 1583 applys.ma
-rw-r--r-- 1593 assumption.ma
-rw-r--r-- 1320 bad_induction.ma
drwxr-xr-x - bad_tests
-rw-r--r-- 22961 bool.ma
-rw-r--r-- 1747 change.ma
-rw-r--r-- 1357 clear.ma
-rw-r--r-- 1416 clearbody.ma
-rw-r--r-- 4340 coercions.ma
-rw-r--r-- 1708 coercions_contravariant.ma
-rw-r--r-- 1501 coercions_dependent.ma
-rw-r--r-- 1379 coercions_dupelim.ma
-rw-r--r-- 1862 coercions_nonuniform.ma
-rw-r--r-- 1588 coercions_open.ma
-rw-r--r-- 4097 coercions_propagation.ma
-rw-r--r-- 6134 coercions_russell.ma
-rw-r--r-- 1443 comments.ma
-rw-r--r-- 1769 compose.ma
-rw-r--r-- 1227 constructor.ma
-rw-r--r-- 2306 continuationals.ma
-rw-r--r-- 1406 contradiction.ma
-rw-r--r-- 1250 cut.ma
-rw-r--r-- 6857 decl.ma
-rw-r--r-- 1388 decompose.ma
-rw-r--r-- 2004 demodulation_coq.ma
-rw-r--r-- 1417 demodulation_matita.ma
-rw-r--r-- 2133 dependent_injection.ma
-rw-r--r-- 1150 dependent_type_inference.ma
-rw-r--r-- 3048 destruct.ma
-rw-r--r-- 2950 elim.ma
-rw-r--r-- 4280 fguidi.ma
-rw-r--r-- 1498 first.ma
-rw-r--r-- 1434 fix_betareduction.ma
-rw-r--r-- 1448 fold.ma
-rw-r--r-- 1839 generalize.ma
-rw-r--r-- 27520 hard_refine.ma
-rw-r--r-- 2138 injection.ma
drwxr-xr-x - interactive
-rw-r--r-- 2147 inversion.ma
-rw-r--r-- 1975 inversion2.ma
-rw-r--r-- 1340 letrec.ma
-rw-r--r-- 1871 letrecand.ma
-rw-r--r-- 985 makefile
-rw-r--r-- 1910 match_inference.ma
-rw-r--r-- 4236 metasenv_ordering.ma
-rw-r--r-- 1973 multiple_inheritance.ma
-rw-r--r-- 1104 mysql_escaping.ma
-rw-r--r-- 1795 naiveparamod.ma
-rw-r--r-- 1378 overred.ma
-rw-r--r-- 1583 paramodulation.ma
drwxr-xr-x - paramodulation
-rw-r--r-- 2123 pullback.ma
-rw-r--r-- 1727 record.ma
-rw-r--r-- 1914 replace.ma
-rw-r--r-- 2641 rewrite.ma
-rw-r--r-- 1362 second.ma
-rw-r--r-- 1996 simpl.ma
-rw-r--r-- 1990 tacticals.ma
-rw-r--r-- 1339 test2.ma
-rw-r--r-- 1436 test3.ma
-rw-r--r-- 1480 test4.ma
-rw-r--r-- 1368 third.ma
-rw-r--r-- 1633 tinycals.ma
-rw-r--r-- 1755 unfold.ma