]>
drwxr-xr-x | - | TPTP | tree |
-rw-r--r-- | 1330 | absurd.ma | blob | raw |
-rw-r--r-- | 2149 | apply.ma | blob | raw |
-rw-r--r-- | 1215 | apply2.ma | blob | raw |
-rw-r--r-- | 1583 | applys.ma | blob | raw |
-rw-r--r-- | 1589 | assumption.ma | blob | raw |
-rw-r--r-- | 1320 | bad_induction.ma | blob | raw |
drwxr-xr-x | - | bad_tests | tree |
-rw-r--r-- | 22816 | bool.ma | blob | raw |
-rw-r--r-- | 1743 | change.ma | blob | raw |
-rw-r--r-- | 1357 | clear.ma | blob | raw |
-rw-r--r-- | 1413 | clearbody.ma | blob | raw |
-rw-r--r-- | 3719 | coercions.ma | blob | raw |
-rw-r--r-- | 1443 | comments.ma | blob | raw |
-rw-r--r-- | 1769 | compose.ma | blob | raw |
-rw-r--r-- | 1227 | constructor.ma | blob | raw |
-rw-r--r-- | 2306 | continuationals.ma | blob | raw |
-rw-r--r-- | 1406 | contradiction.ma | blob | raw |
-rw-r--r-- | 1250 | cut.ma | blob | raw |
-rw-r--r-- | 6976 | decl.ma | blob | raw |
-rw-r--r-- | 1388 | decompose.ma | blob | raw |
-rw-r--r-- | 2000 | demodulation_coq.ma | blob | raw |
-rw-r--r-- | 1417 | demodulation_matita.ma | blob | raw |
-rw-r--r-- | 2132 | dependent_injection.ma | blob | raw |
-rw-r--r-- | 3835 | discriminate.ma | blob | raw |
-rw-r--r-- | 2949 | elim.ma | blob | raw |
-rw-r--r-- | 4386 | fguidi.ma | blob | raw |
-rw-r--r-- | 1498 | first.ma | blob | raw |
-rw-r--r-- | 1434 | fix_betareduction.ma | blob | raw |
-rw-r--r-- | 1448 | fold.ma | blob | raw |
-rw-r--r-- | 1835 | generalize.ma | blob | raw |
-rw-r--r-- | 27512 | hard_refine.ma | blob | raw |
-rw-r--r-- | 2134 | injection.ma | blob | raw |
drwxr-xr-x | - | interactive | tree |
-rw-r--r-- | 2145 | inversion.ma | blob | raw |
-rw-r--r-- | 1975 | inversion2.ma | blob | raw |
-rw-r--r-- | 1340 | letrec.ma | blob | raw |
-rw-r--r-- | 1871 | letrecand.ma | blob | raw |
-rw-r--r-- | 985 | makefile | blob | raw |
-rw-r--r-- | 1910 | match_inference.ma | blob | raw |
-rw-r--r-- | 4236 | metasenv_ordering.ma | blob | raw |
-rw-r--r-- | 1973 | multiple_inheritance.ma | blob | raw |
-rw-r--r-- | 1104 | mysql_escaping.ma | blob | raw |
-rw-r--r-- | 1791 | naiveparamod.ma | blob | raw |
-rw-r--r-- | 1569 | paramodulation.ma | blob | raw |
drwxr-xr-x | - | paramodulation | tree |
-rw-r--r-- | 2123 | pullback.ma | blob | raw |
-rw-r--r-- | 1730 | record.ma | blob | raw |
-rw-r--r-- | 1909 | replace.ma | blob | raw |
-rw-r--r-- | 2637 | rewrite.ma | blob | raw |
-rw-r--r-- | 1362 | second.ma | blob | raw |
-rw-r--r-- | 1996 | simpl.ma | blob | raw |
-rw-r--r-- | 1990 | tacticals.ma | blob | raw |
-rw-r--r-- | 1339 | test2.ma | blob | raw |
-rw-r--r-- | 1435 | test3.ma | blob | raw |
-rw-r--r-- | 1480 | test4.ma | blob | raw |
-rw-r--r-- | 1368 | third.ma | blob | raw |
-rw-r--r-- | 1633 | tinycals.ma | blob | raw |
-rw-r--r-- | 1755 | unfold.ma | blob | raw |