/doc-src/Intro/
drwxr-xr-x [up]
-rw-r--r-- 2010-01-22 13:38 +0100 593 Makefile
-rw-r--r-- 2010-01-22 13:38 +0100 47818 advanced.tex
-rw-r--r-- 2010-01-22 13:38 +0100 207 arith.thy
-rw-r--r-- 2010-01-22 13:38 +0100 82 bool.thy
-rw-r--r-- 2010-01-22 13:38 +0100 371 bool_nat.thy
-rw-r--r-- 2010-01-22 13:38 +0100 3809 deriv.txt
-rw-r--r-- 2010-01-22 13:38 +0100 57985 foundations.tex
-rw-r--r-- 2010-01-22 13:38 +0100 139 gate.thy
-rw-r--r-- 2010-01-22 13:38 +0100 311 gate2.thy
-rw-r--r-- 2010-01-22 13:38 +0100 38653 getting.tex
-rw-r--r-- 2010-01-22 13:38 +0100 6479 intro.tex
-rw-r--r-- 2010-01-22 13:38 +0100 138 list.thy
-rw-r--r-- 2010-01-22 13:38 +0100 306 prod.thy
-rw-r--r-- 2010-01-22 13:38 +0100 6043 quant.txt
-rw-r--r-- 2010-01-22 13:38 +0100 1735 theorems-out.txt
-rw-r--r-- 2010-01-22 13:38 +0100 2368 theorems.txt