/doc-src/Ref/
drwxr-xr-x [up]
-rw-r--r-- 2006-10-10 13:59 +0200 759 Makefile
-rw-r--r-- 2006-10-10 13:59 +0200 476 abstract.txt
-rw-r--r-- 2006-10-10 13:59 +0200 37214 classical.tex
-rw-r--r-- 2006-10-10 13:59 +0200 36605 defining.tex
-rw-r--r-- 2006-10-10 13:59 +0200 28156 goals.tex
-rw-r--r-- 2006-10-10 13:59 +0200 16011 introduction.tex
-rw-r--r-- 2006-10-10 13:59 +0200 2889 ref.tex
-rw-r--r-- 2006-10-10 13:59 +0200 21105 simp.tex
-rw-r--r-- 2006-10-10 13:59 +0200 2830 simplifier-eg.txt
-rw-r--r-- 2006-10-10 13:59 +0200 58589 simplifier.tex
-rw-r--r-- 2006-10-10 13:59 +0200 9763 substitution.tex
-rw-r--r-- 2006-10-10 13:59 +0200 41091 syntax.tex
-rw-r--r-- 2006-10-10 13:59 +0200 30504 tactic.tex
-rw-r--r-- 2006-10-10 13:59 +0200 21773 tctical.tex
-rw-r--r-- 2006-10-10 13:59 +0200 43245 theories.tex
-rw-r--r-- 2006-10-10 13:59 +0200 3954 theory-syntax.tex
-rw-r--r-- 2006-10-10 13:59 +0200 42087 thm.tex
-rw-r--r-- 2006-10-10 13:59 +0200 8274 undocumented.tex