]>
-rw-r--r-- | 14 | .cvsignore | blob | raw |
-rw-r--r-- | 1029 | Makefile | blob | raw |
-rw-r--r-- | 1303 | absurd.ma | blob | raw |
-rw-r--r-- | 505 | apply.ma | blob | raw |
-rw-r--r-- | 1560 | assumption.ma | blob | raw |
-rwxr-xr-x | 549 | auto.ma | blob | raw |
-rw-r--r-- | 88 | baseuri.ma | blob | raw |
-rw-r--r-- | 1430 | change.ma | blob | raw |
-rw-r--r-- | 1331 | clear.ma | blob | raw |
-rw-r--r-- | 1384 | clearbody.ma | blob | raw |
-rw-r--r-- | 631 | coercions.ma | blob | raw |
-rw-r--r-- | 1444 | comments.ma | blob | raw |
-rw-r--r-- | 1198 | constructor.ma | blob | raw |
-rw-r--r-- | 1377 | contradiction.ma | blob | raw |
-rw-r--r-- | 1221 | cut.ma | blob | raw |
-rw-r--r-- | 1349 | decompose.ma | blob | raw |
-rw-r--r-- | 1301 | discriminate.ma | blob | raw |
-rw-r--r-- | 2171 | elim.ma | blob | raw |
-rw-r--r-- | 3114 | fguidi.ma | blob | raw |
-rw-r--r-- | 523 | first.ma | blob | raw |
-rw-r--r-- | 404 | fix_betareduction.ma | blob | raw |
-rw-r--r-- | 418 | fold.ma | blob | raw |
-rw-r--r-- | 1806 | generalize.ma | blob | raw |
drwxr-xr-x | - | interactive | tree |
-rw-r--r-- | 1167 | inversion.ma | blob | raw |
-rw-r--r-- | 338 | letrec.ma | blob | raw |
-rw-r--r-- | 908 | match_inference.ma | blob | raw |
-rw-r--r-- | 104 | mysql_escaping.ma | blob | raw |
-rw-r--r-- | 1541 | paramodulation.ma | blob | raw |
-rw-r--r-- | 498 | record.ma | blob | raw |
-rw-r--r-- | 859 | replace.ma | blob | raw |
-rw-r--r-- | 986 | rewrite.ma | blob | raw |
-rw-r--r-- | 360 | second.ma | blob | raw |
-rw-r--r-- | 288 | simpl.ma | blob | raw |
-rw-r--r-- | 309 | test2.ma | blob | raw |
-rw-r--r-- | 387 | test3.ma | blob | raw |
-rw-r--r-- | 450 | test4.ma | blob | raw |
-rw-r--r-- | 366 | third.ma | blob | raw |