/doc-src/Ref/
drwxr-xr-x [up]
-rw-r--r-- 2011-08-12 22:10 +0200 641 Makefile
-rw-r--r-- 2011-08-12 22:10 +0200 476 abstract.txt
-rw-r--r-- 2011-08-12 22:10 +0200 9607 classical.tex
-rw-r--r-- 2011-08-12 22:10 +0200 13478 defining.tex
-rw-r--r-- 2011-08-12 22:10 +0200 2254 ref.tex
-rw-r--r-- 2011-08-12 22:10 +0200 21105 simp.tex
-rw-r--r-- 2011-08-12 22:10 +0200 2830 simplifier-eg.txt
-rw-r--r-- 2011-08-12 22:10 +0200 45798 simplifier.tex
-rw-r--r-- 2011-08-12 22:10 +0200 9761 substitution.tex
-rw-r--r-- 2011-08-12 22:10 +0200 38480 syntax.tex
-rw-r--r-- 2011-08-12 22:10 +0200 13633 tactic.tex
-rw-r--r-- 2011-08-12 22:10 +0200 21766 tctical.tex
-rw-r--r-- 2011-08-12 22:10 +0200 31886 thm.tex
-rw-r--r-- 2011-08-12 22:10 +0200 8274 undocumented.tex