| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2015-08-20 09:34 +0800 | 1077 | Atoms.thy | file | revisions | annotate |
| -rw-r--r-- | 2015-08-20 09:34 +0800 | 3902 | Disagreement.thy | file | revisions | annotate |
| -rw-r--r-- | 2015-08-20 09:34 +0800 | 5208 | Equ.thy | file | revisions | annotate |
| -rw-r--r-- | 2015-08-20 09:34 +0800 | 3381 | Fresh.thy | file | revisions | annotate |
| -rw-r--r-- | 2015-08-20 09:34 +0800 | 15571 | Mgu.thy | file | revisions | annotate |
| -rw-r--r-- | 2015-08-20 09:34 +0800 | 18372 | PreEqu.thy | file | revisions | annotate |
| -rw-r--r-- | 2015-08-20 09:34 +0800 | 11734 | Substs.thy | file | revisions | annotate |
| -rw-r--r-- | 2015-08-20 09:34 +0800 | 1203 | Swap.thy | file | revisions | annotate |
| -rw-r--r-- | 2015-08-20 09:34 +0800 | 6504 | Termination.thy | file | revisions | annotate |
| -rw-r--r-- | 2015-08-20 09:34 +0800 | 4029 | Terms.thy | file | revisions | annotate |
| -rw-r--r-- | 2015-08-20 09:34 +0800 | 20937 | Unification.thy | file | revisions | annotate |
| -rw-r--r-- | 2015-08-20 09:34 +0800 | 247124 | app-nomu.ps | file | revisions | annotate |
| -rw-r--r-- | 2015-08-20 09:34 +0800 | 5354 | index.html | file | revisions | annotate |
| -rw-r--r-- | 2015-08-20 09:34 +0800 | 15161 | nomu-2002.tgz | file | revisions | annotate |
| -rw-r--r-- | 2015-08-20 09:34 +0800 | 319354 | nomu-tcs.ps | file | revisions | annotate |
| -rw-r--r-- | 2015-08-20 09:34 +0800 | 6159 | unification.ml | file | revisions | annotate |