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