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