/doc-src/Intro/
drwxr-xr-x [up]
-rw-r--r-- 1993-11-10 05:06 +0100 45680 advanced.tex
-rw-r--r-- 1993-11-10 05:06 +0100 207 arith.thy
-rw-r--r-- 1993-11-10 05:06 +0100 76 bool.thy
-rw-r--r-- 1993-11-10 05:06 +0100 371 bool_nat.thy
-rw-r--r-- 1993-11-10 05:06 +0100 3813 deriv.txt
-rw-r--r-- 1993-11-10 05:06 +0100 56122 foundations.tex
-rw-r--r-- 1993-11-10 05:06 +0100 139 gate.thy
-rw-r--r-- 1993-11-10 05:06 +0100 311 gate2.thy
-rw-r--r-- 1993-11-10 05:06 +0100 36447 getting.tex
-rw-r--r-- 1993-11-10 05:06 +0100 3526 intro.bbl
-rw-r--r-- 1993-11-10 05:06 +0100 6174 intro.ind
-rw-r--r-- 1993-11-10 05:06 +0100 6016 intro.tex
-rw-r--r-- 1993-11-10 05:06 +0100 4884 intro.toc
-rw-r--r-- 1993-11-10 05:06 +0100 122 list.thy
-rw-r--r-- 1993-11-10 05:06 +0100 306 prod.thy
-rw-r--r-- 1993-11-10 05:06 +0100 6043 quant.txt
-rw-r--r-- 1993-11-10 05:06 +0100 1735 theorems-out.txt
-rw-r--r-- 1993-11-10 05:06 +0100 2368 theorems.txt