/doc-src/Ref/
drwxr-xr-x [up]
-rw-r--r-- 1997-06-05 13:22 +0200 757 Makefile
-rw-r--r-- 1997-06-05 13:22 +0200 476 abstract.txt
-rw-r--r-- 1997-06-05 13:22 +0200 30777 classical.tex
-rw-r--r-- 1997-06-05 13:22 +0200 36625 defining.tex
-rw-r--r-- 1997-06-05 13:22 +0200 22902 goals.tex
-rw-r--r-- 1997-06-05 13:22 +0200 10638 introduction.tex
-rw-r--r-- 1997-06-05 13:22 +0200 2216 ref.bbl
-rw-r--r-- 1997-06-05 13:22 +0200 25713 ref.ind
-rw-r--r-- 1997-06-05 13:22 +0200 8678 ref.rao
-rw-r--r-- 1997-06-05 13:22 +0200 2169 ref.tex
-rw-r--r-- 1997-06-05 13:22 +0200 11197 ref.toc
-rw-r--r-- 1997-06-05 13:22 +0200 21109 simp.tex
-rw-r--r-- 1997-06-05 13:22 +0200 2746 simplifier-eg.txt
-rw-r--r-- 1997-06-05 13:22 +0200 42837 simplifier.tex
-rw-r--r-- 1997-06-05 13:22 +0200 8407 substitution.tex
-rw-r--r-- 1997-06-05 13:22 +0200 41204 syntax.tex
-rw-r--r-- 1997-06-05 13:22 +0200 28952 tactic.tex
-rw-r--r-- 1997-06-05 13:22 +0200 20454 tctical.tex
-rw-r--r-- 1997-06-05 13:22 +0200 35636 theories.tex
-rw-r--r-- 1997-06-05 13:22 +0200 3256 theory-syntax.tex
-rw-r--r-- 1997-06-05 13:22 +0200 32109 thm.tex
-rw-r--r-- 1997-06-05 13:22 +0200 8263 undocumented.tex