drwxr-xr-x |
|
|
[up]
|
|
-rw-r--r-- |
1997-09-29 11:51 +0200 |
615 |
Makefile
|
file |
revisions |
annotate
|
-rw-r--r-- |
1997-09-29 11:51 +0200 |
49537 |
advanced.tex
|
file |
revisions |
annotate
|
-rw-r--r-- |
1997-09-29 11:51 +0200 |
207 |
arith.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
1997-09-29 11:51 +0200 |
76 |
bool.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
1997-09-29 11:51 +0200 |
371 |
bool_nat.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
1997-09-29 11:51 +0200 |
3813 |
deriv.txt
|
file |
revisions |
annotate
|
-rw-r--r-- |
1997-09-29 11:51 +0200 |
57989 |
foundations.tex
|
file |
revisions |
annotate
|
-rw-r--r-- |
1997-09-29 11:51 +0200 |
139 |
gate.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
1997-09-29 11:51 +0200 |
311 |
gate2.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
1997-09-29 11:51 +0200 |
37793 |
getting.tex
|
file |
revisions |
annotate
|
-rw-r--r-- |
1997-09-29 11:51 +0200 |
3467 |
intro.bbl
|
file |
revisions |
annotate
|
-rw-r--r-- |
1997-09-29 11:51 +0200 |
6469 |
intro.ind
|
file |
revisions |
annotate
|
-rw-r--r-- |
1997-09-29 11:51 +0200 |
5702 |
intro.tex
|
file |
revisions |
annotate
|
-rw-r--r-- |
1997-09-29 11:51 +0200 |
5207 |
intro.toc
|
file |
revisions |
annotate
|
-rw-r--r-- |
1997-09-29 11:51 +0200 |
122 |
list.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
1997-09-29 11:51 +0200 |
306 |
prod.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
1997-09-29 11:51 +0200 |
6043 |
quant.txt
|
file |
revisions |
annotate
|
-rw-r--r-- |
1997-09-29 11:51 +0200 |
1735 |
theorems-out.txt
|
file |
revisions |
annotate
|
-rw-r--r-- |
1997-09-29 11:51 +0200 |
2368 |
theorems.txt
|
file |
revisions |
annotate
|