/doc-src/Ref/
drwxr-xr-x [up]
-rw-r--r-- 2009-11-23 22:47 +0100 674 Makefile
-rw-r--r-- 2009-11-23 22:47 +0100 476 abstract.txt
-rw-r--r-- 2009-11-23 22:47 +0100 36287 classical.tex
-rw-r--r-- 2009-11-23 22:47 +0100 13578 defining.tex
-rw-r--r-- 2009-11-23 22:47 +0100 9918 introduction.tex
-rw-r--r-- 2009-11-23 22:47 +0100 2415 ref.tex
-rw-r--r-- 2009-11-23 22:47 +0100 21105 simp.tex
-rw-r--r-- 2009-11-23 22:47 +0100 2830 simplifier-eg.txt
-rw-r--r-- 2009-11-23 22:47 +0100 53680 simplifier.tex
-rw-r--r-- 2009-11-23 22:47 +0100 9761 substitution.tex
-rw-r--r-- 2009-11-23 22:47 +0100 41084 syntax.tex
-rw-r--r-- 2009-11-23 22:47 +0100 13633 tactic.tex
-rw-r--r-- 2009-11-23 22:47 +0100 21766 tctical.tex
-rw-r--r-- 2009-11-23 22:47 +0100 18152 theories.tex
-rw-r--r-- 2009-11-23 22:47 +0100 41690 thm.tex
-rw-r--r-- 2009-11-23 22:47 +0100 8274 undocumented.tex