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