]>
-rw-r--r-- | 14 | .cvsignore | blob | raw |
-rw-r--r-- | 1302 | Makefile | blob | raw |
-rw-r--r-- | 1320 | absurd.ma | blob | raw |
-rw-r--r-- | 2138 | apply.ma | blob | raw |
-rw-r--r-- | 1579 | assumption.ma | blob | raw |
-rwxr-xr-x | 1569 | auto.ma | blob | raw |
-rw-r--r-- | 1090 | baseuri.ma | blob | raw |
-rw-r--r-- | 1733 | change.ma | blob | raw |
-rw-r--r-- | 1347 | clear.ma | blob | raw |
-rw-r--r-- | 1403 | clearbody.ma | blob | raw |
-rw-r--r-- | 1589 | coercions.ma | blob | raw |
-rw-r--r-- | 1433 | comments.ma | blob | raw |
-rw-r--r-- | 1217 | constructor.ma | blob | raw |
-rw-r--r-- | 2296 | continuationals.ma | blob | raw |
-rw-r--r-- | 1396 | contradiction.ma | blob | raw |
-rw-r--r-- | 1240 | cut.ma | blob | raw |
-rw-r--r-- | 1368 | decompose.ma | blob | raw |
-rw-r--r-- | 1697 | discriminate.ma | blob | raw |
-rw-r--r-- | 2937 | elim.ma | blob | raw |
-rw-r--r-- | 4449 | fguidi.ma | blob | raw |
-rw-r--r-- | 1498 | first.ma | blob | raw |
-rw-r--r-- | 1406 | fix_betareduction.ma | blob | raw |
-rw-r--r-- | 1438 | fold.ma | blob | raw |
-rw-r--r-- | 1825 | generalize.ma | blob | raw |
drwxr-xr-x | - | interactive | tree |
-rw-r--r-- | 1982 | inversion.ma | blob | raw |
-rw-r--r-- | 1340 | letrec.ma | blob | raw |
-rw-r--r-- | 1910 | match_inference.ma | blob | raw |
-rw-r--r-- | 4226 | metasenv_ordering.ma | blob | raw |
-rw-r--r-- | 1104 | mysql_escaping.ma | blob | raw |
-rw-r--r-- | 1559 | paramodulation.ma | blob | raw |
-rw-r--r-- | 1500 | record.ma | blob | raw |
-rw-r--r-- | 1887 | replace.ma | blob | raw |
-rw-r--r-- | 2006 | rewrite.ma | blob | raw |
-rw-r--r-- | 1362 | second.ma | blob | raw |
-rw-r--r-- | 2141 | simpl.ma | blob | raw |
-rw-r--r-- | 1329 | test2.ma | blob | raw |
-rw-r--r-- | 1413 | test3.ma | blob | raw |
-rw-r--r-- | 1470 | test4.ma | blob | raw |
-rw-r--r-- | 1368 | third.ma | blob | raw |
-rw-r--r-- | 1745 | unfold.ma | blob | raw |