drwxr-xr-x |
|
|
[up]
|
|
drwxr-xr-x |
|
|
document
|
files
|
-rw-r--r-- |
2010-03-13 20:33 +0100 |
11540 |
AdvancedInd.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2010-03-13 20:33 +0100 |
5553 |
Itrev.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2010-03-13 20:33 +0100 |
1154 |
Option2.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2010-03-13 20:33 +0100 |
366 |
Plus.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2010-03-13 20:33 +0100 |
280 |
ROOT.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2010-03-13 20:33 +0100 |
859 |
Tree.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2010-03-13 20:33 +0100 |
730 |
Tree2.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2010-03-13 20:33 +0100 |
1330 |
appendix.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2010-03-13 20:33 +0100 |
3326 |
case_exprs.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2010-03-13 20:33 +0100 |
259 |
fakenat.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2010-03-13 20:33 +0100 |
5095 |
natsum.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2010-03-13 20:33 +0100 |
1303 |
pairs.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2010-03-13 20:33 +0100 |
665 |
prime_def.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2010-03-13 20:33 +0100 |
18109 |
simp.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2010-03-13 20:33 +0100 |
1273 |
types.thy
|
file |
revisions |
annotate
|