/doc-src/Logics/
drwxr-xr-x [up]
-rw-r--r-- 1997-06-05 13:22 +0200 76011 CHOL.tex
-rw-r--r-- 1997-06-05 13:22 +0200 9836 CTT-eg.txt
-rw-r--r-- 1997-06-05 13:22 +0200 9041 CTT-rules.txt
-rw-r--r-- 1997-06-05 13:22 +0200 50970 CTT.tex
-rw-r--r-- 1997-06-05 13:22 +0200 9176 FOL-eg.txt
-rw-r--r-- 1997-06-05 13:22 +0200 36465 FOL.tex
-rw-r--r-- 1997-06-05 13:22 +0200 3273 HOL-eg.txt
-rw-r--r-- 1997-06-05 13:22 +0200 13985 HOL-rules.txt
-rw-r--r-- 1997-06-05 13:22 +0200 91410 HOL.tex
-rw-r--r-- 1997-06-05 13:22 +0200 3119 LK-eg.txt
-rw-r--r-- 1997-06-05 13:22 +0200 24203 LK.tex
-rw-r--r-- 1997-06-05 13:22 +0200 670 Makefile
-rw-r--r-- 1997-06-05 13:22 +0200 75724 Old_HOL.tex
-rw-r--r-- 1997-06-05 13:22 +0200 5399 ZF-eg.txt
-rw-r--r-- 1997-06-05 13:22 +0200 17181 ZF-rules.txt
-rw-r--r-- 1997-06-05 13:22 +0200 78978 ZF.tex
-rw-r--r-- 1997-06-05 13:22 +0200 418 abstract.txt
-rw-r--r-- 1997-06-05 13:22 +0200 69533 defining.tex
-rw-r--r-- 1997-06-05 13:22 +0200 7587 intro.tex
-rw-r--r-- 1997-06-05 13:22 +0200 9318 logics.bbl
-rw-r--r-- 1997-06-05 13:22 +0200 31949 logics.ind
-rw-r--r-- 1997-06-05 13:22 +0200 1539 logics.rao
-rw-r--r-- 1997-06-05 13:22 +0200 2177 logics.tex
-rw-r--r-- 1997-06-05 13:22 +0200 5985 logics.toc
-rw-r--r-- 1997-06-05 13:22 +0200 37758 old.defining.tex