/doc-src/Ref/
drwxr-xr-x [up]
-rw-r--r-- 2012-04-19 10:49 +0200 617 Makefile
-rw-r--r-- 2012-04-19 10:49 +0200 476 abstract.txt
-rw-r--r-- 2012-04-19 10:49 +0200 9607 classical.tex
-rw-r--r-- 2012-04-19 10:49 +0200 2217 ref.tex
-rw-r--r-- 2012-04-19 10:49 +0200 21105 simp.tex
-rw-r--r-- 2012-04-19 10:49 +0200 2830 simplifier-eg.txt
-rw-r--r-- 2012-04-19 10:49 +0200 42958 simplifier.tex
-rw-r--r-- 2012-04-19 10:49 +0200 9761 substitution.tex
-rw-r--r-- 2012-04-19 10:49 +0200 38480 syntax.tex
-rw-r--r-- 2012-04-19 10:49 +0200 7496 tactic.tex
-rw-r--r-- 2012-04-19 10:49 +0200 26532 thm.tex
-rw-r--r-- 2012-04-19 10:49 +0200 8274 undocumented.tex