drwxr-xr-x |
|
|
[up]
|
|
-rw-r--r-- |
2011-02-08 20:59 +0100 |
593 |
Makefile
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-02-08 20:59 +0100 |
47818 |
advanced.tex
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-02-08 20:59 +0100 |
207 |
arith.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-02-08 20:59 +0100 |
82 |
bool.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-02-08 20:59 +0100 |
371 |
bool_nat.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-02-08 20:59 +0100 |
3809 |
deriv.txt
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-02-08 20:59 +0100 |
57985 |
foundations.tex
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-02-08 20:59 +0100 |
139 |
gate.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-02-08 20:59 +0100 |
311 |
gate2.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-02-08 20:59 +0100 |
38653 |
getting.tex
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-02-08 20:59 +0100 |
6479 |
intro.tex
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-02-08 20:59 +0100 |
138 |
list.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-02-08 20:59 +0100 |
306 |
prod.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-02-08 20:59 +0100 |
6043 |
quant.txt
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-02-08 20:59 +0100 |
1735 |
theorems-out.txt
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-02-08 20:59 +0100 |
2368 |
theorems.txt
|
file |
revisions |
annotate
|