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