/doc-src/Logics/
drwxr-xr-x [up]
-rw-r--r-- 1997-11-12 18:58 +0100 76011 CHOL.tex
-rw-r--r-- 1997-11-12 18:58 +0100 9836 CTT-eg.txt
-rw-r--r-- 1997-11-12 18:58 +0100 9041 CTT-rules.txt
-rw-r--r-- 1997-11-12 18:58 +0100 50970 CTT.tex
-rw-r--r-- 1997-11-12 18:58 +0100 9176 FOL-eg.txt
-rw-r--r-- 1997-11-12 18:58 +0100 36465 FOL.tex
-rw-r--r-- 1997-11-12 18:58 +0100 3273 HOL-eg.txt
-rw-r--r-- 1997-11-12 18:58 +0100 13985 HOL-rules.txt
-rw-r--r-- 1997-11-12 18:58 +0100 102093 HOL.tex
-rw-r--r-- 1997-11-12 18:58 +0100 3119 LK-eg.txt
-rw-r--r-- 1997-11-12 18:58 +0100 24203 LK.tex
-rw-r--r-- 1997-11-12 18:58 +0100 670 Makefile
-rw-r--r-- 1997-11-12 18:58 +0100 75724 Old_HOL.tex
-rw-r--r-- 1997-11-12 18:58 +0100 5399 ZF-eg.txt
-rw-r--r-- 1997-11-12 18:58 +0100 17181 ZF-rules.txt
-rw-r--r-- 1997-11-12 18:58 +0100 79657 ZF.tex
-rw-r--r-- 1997-11-12 18:58 +0100 418 abstract.txt
-rw-r--r-- 1997-11-12 18:58 +0100 69533 defining.tex
-rw-r--r-- 1997-11-12 18:58 +0100 7592 intro.tex
-rw-r--r-- 1997-11-12 18:58 +0100 9511 logics.bbl
-rw-r--r-- 1997-11-12 18:58 +0100 32403 logics.ind
-rw-r--r-- 1997-11-12 18:58 +0100 1539 logics.rao
-rw-r--r-- 1997-11-12 18:58 +0100 2177 logics.tex
-rw-r--r-- 1997-11-12 18:58 +0100 5985 logics.toc
-rw-r--r-- 1997-11-12 18:58 +0100 37758 old.defining.tex