/doc-src/Ref/
drwxr-xr-x [up]
-rw-r--r-- 1999-07-16 22:24 +0200 784 Makefile
-rw-r--r-- 1999-07-16 22:24 +0200 476 abstract.txt
-rw-r--r-- 1999-07-16 22:24 +0200 37181 classical.tex
-rw-r--r-- 1999-07-16 22:24 +0200 37219 defining.tex
-rw-r--r-- 1999-07-16 22:24 +0200 26400 goals.tex
-rw-r--r-- 1999-07-16 22:24 +0200 15732 introduction.tex
-rw-r--r-- 1999-07-16 22:24 +0200 2120 ref.tex
-rw-r--r-- 1999-07-16 22:24 +0200 11197 ref.toc
-rw-r--r-- 1999-07-16 22:24 +0200 21109 simp.tex
-rw-r--r-- 1999-07-16 22:24 +0200 2830 simplifier-eg.txt
-rw-r--r-- 1999-07-16 22:24 +0200 59222 simplifier.tex
-rw-r--r-- 1999-07-16 22:24 +0200 9660 substitution.tex
-rw-r--r-- 1999-07-16 22:24 +0200 41390 syntax.tex
-rw-r--r-- 1999-07-16 22:24 +0200 29110 tactic.tex
-rw-r--r-- 1999-07-16 22:24 +0200 20678 tctical.tex
-rw-r--r-- 1999-07-16 22:24 +0200 44344 theories.tex
-rw-r--r-- 1999-07-16 22:24 +0200 3959 theory-syntax.tex
-rw-r--r-- 1999-07-16 22:24 +0200 33986 thm.tex
-rw-r--r-- 1999-07-16 22:24 +0200 8274 undocumented.tex