/doc-src/Ref/
drwxr-xr-x [up]
-rw-r--r-- 1998-08-26 16:33 +0200 819 Makefile
-rw-r--r-- 1998-08-26 16:33 +0200 476 abstract.txt
-rw-r--r-- 1998-08-26 16:33 +0200 35101 classical.tex
-rw-r--r-- 1998-08-26 16:33 +0200 37224 defining.tex
-rw-r--r-- 1998-08-26 16:33 +0200 22929 goals.tex
-rw-r--r-- 1998-08-26 16:33 +0200 12654 introduction.tex
-rw-r--r-- 1998-08-26 16:33 +0200 2216 ref.bbl
-rw-r--r-- 1998-08-26 16:33 +0200 28299 ref.ind
-rw-r--r-- 1998-08-26 16:33 +0200 9541 ref.rao
-rw-r--r-- 1998-08-26 16:33 +0200 2176 ref.tex
-rw-r--r-- 1998-08-26 16:33 +0200 11197 ref.toc
-rw-r--r-- 1998-08-26 16:33 +0200 21109 simp.tex
-rw-r--r-- 1998-08-26 16:33 +0200 2830 simplifier-eg.txt
-rw-r--r-- 1998-08-26 16:33 +0200 57272 simplifier.tex
-rw-r--r-- 1998-08-26 16:33 +0200 9668 substitution.tex
-rw-r--r-- 1998-08-26 16:33 +0200 41282 syntax.tex
-rw-r--r-- 1998-08-26 16:33 +0200 29120 tactic.tex
-rw-r--r-- 1998-08-26 16:33 +0200 20527 tctical.tex
-rw-r--r-- 1998-08-26 16:33 +0200 39250 theories.tex
-rw-r--r-- 1998-08-26 16:33 +0200 3583 theory-syntax.tex
-rw-r--r-- 1998-08-26 16:33 +0200 33619 thm.tex
-rw-r--r-- 1998-08-26 16:33 +0200 8274 undocumented.tex