/doc-src/Ref/
drwxr-xr-x [up]
-rw-r--r-- 1998-12-04 10:40 +0100 865 Makefile
-rw-r--r-- 1998-12-04 10:40 +0100 476 abstract.txt
-rw-r--r-- 1998-12-04 10:40 +0100 37179 classical.tex
-rw-r--r-- 1998-12-04 10:40 +0100 37217 defining.tex
-rw-r--r-- 1998-12-04 10:40 +0100 26403 goals.tex
-rw-r--r-- 1998-12-04 10:40 +0100 12654 introduction.tex
-rw-r--r-- 1998-12-04 10:40 +0100 2216 ref.bbl
-rw-r--r-- 1998-12-04 10:40 +0100 28799 ref.ind
-rw-r--r-- 1998-12-04 10:40 +0100 9541 ref.rao
-rw-r--r-- 1998-12-04 10:40 +0100 2176 ref.tex
-rw-r--r-- 1998-12-04 10:40 +0100 11197 ref.toc
-rw-r--r-- 1998-12-04 10:40 +0100 21109 simp.tex
-rw-r--r-- 1998-12-04 10:40 +0100 2830 simplifier-eg.txt
-rw-r--r-- 1998-12-04 10:40 +0100 59149 simplifier.tex
-rw-r--r-- 1998-12-04 10:40 +0100 9668 substitution.tex
-rw-r--r-- 1998-12-04 10:40 +0100 41282 syntax.tex
-rw-r--r-- 1998-12-04 10:40 +0100 29120 tactic.tex
-rw-r--r-- 1998-12-04 10:40 +0100 20680 tctical.tex
-rw-r--r-- 1998-12-04 10:40 +0100 37080 theories.tex
-rw-r--r-- 1998-12-04 10:40 +0100 3583 theory-syntax.tex
-rw-r--r-- 1998-12-04 10:40 +0100 33850 thm.tex
-rw-r--r-- 1998-12-04 10:40 +0100 8274 undocumented.tex