/doc-src/Ref/
drwxr-xr-x [up]
-rw-r--r-- 1997-01-17 12:49 +0100 620 Makefile
-rw-r--r-- 1997-01-17 12:49 +0100 476 abstract.txt
-rw-r--r-- 1997-01-17 12:49 +0100 25040 classical.tex
-rw-r--r-- 1997-01-17 12:49 +0100 34498 defining.tex
-rw-r--r-- 1997-01-17 12:49 +0100 22516 goals.tex
-rw-r--r-- 1997-01-17 12:49 +0100 11444 introduction.tex
-rw-r--r-- 1997-01-17 12:49 +0100 2193 ref.bbl
-rw-r--r-- 1997-01-17 12:49 +0100 1984 ref.tex
-rw-r--r-- 1997-01-17 12:49 +0100 11197 ref.toc
-rw-r--r-- 1997-01-17 12:49 +0100 21109 simp.tex
-rw-r--r-- 1997-01-17 12:49 +0100 2746 simplifier-eg.txt
-rw-r--r-- 1997-01-17 12:49 +0100 40066 simplifier.tex
-rw-r--r-- 1997-01-17 12:49 +0100 8414 substitution.tex
-rw-r--r-- 1997-01-17 12:49 +0100 38097 syntax.tex
-rw-r--r-- 1997-01-17 12:49 +0100 28549 tactic.tex
-rw-r--r-- 1997-01-17 12:49 +0100 20493 tctical.tex
-rw-r--r-- 1997-01-17 12:49 +0100 42479 theories.tex
-rw-r--r-- 1997-01-17 12:49 +0100 2650 theory-syntax.tex
-rw-r--r-- 1997-01-17 12:49 +0100 31980 thm.tex
-rw-r--r-- 1997-01-17 12:49 +0100 8263 undocumented.tex