/doc-src/Ref/
drwxr-xr-x [up]
-rw-r--r-- 2001-01-29 22:25 +0100 759 Makefile
-rw-r--r-- 2001-01-29 22:25 +0100 476 abstract.txt
-rw-r--r-- 2001-01-29 22:25 +0100 37776 classical.tex
-rw-r--r-- 2001-01-29 22:25 +0100 37221 defining.tex
-rw-r--r-- 2001-01-29 22:25 +0100 27106 goals.tex
-rw-r--r-- 2001-01-29 22:25 +0100 16010 introduction.tex
-rw-r--r-- 2001-01-29 22:25 +0100 2246 ref.tex
-rw-r--r-- 2001-01-29 22:25 +0100 11197 ref.toc
-rw-r--r-- 2001-01-29 22:25 +0100 21108 simp.tex
-rw-r--r-- 2001-01-29 22:25 +0100 2830 simplifier-eg.txt
-rw-r--r-- 2001-01-29 22:25 +0100 60538 simplifier.tex
-rw-r--r-- 2001-01-29 22:25 +0100 9763 substitution.tex
-rw-r--r-- 2001-01-29 22:25 +0100 41115 syntax.tex
-rw-r--r-- 2001-01-29 22:25 +0100 30488 tactic.tex
-rw-r--r-- 2001-01-29 22:25 +0100 21535 tctical.tex
-rw-r--r-- 2001-01-29 22:25 +0100 44239 theories.tex
-rw-r--r-- 2001-01-29 22:25 +0100 3954 theory-syntax.tex
-rw-r--r-- 2001-01-29 22:25 +0100 35655 thm.tex
-rw-r--r-- 2001-01-29 22:25 +0100 8274 undocumented.tex