/doc-src/Ref/
drwxr-xr-x [up]
-rw-r--r-- 2000-07-01 19:49 +0200 746 Makefile
-rw-r--r-- 2000-07-01 19:49 +0200 476 abstract.txt
-rw-r--r-- 2000-07-01 19:49 +0200 37819 classical.tex
-rw-r--r-- 2000-07-01 19:49 +0200 37221 defining.tex
-rw-r--r-- 2000-07-01 19:49 +0200 27106 goals.tex
-rw-r--r-- 2000-07-01 19:49 +0200 16048 introduction.tex
-rw-r--r-- 2000-07-01 19:49 +0200 2237 ref.tex
-rw-r--r-- 2000-07-01 19:49 +0200 11197 ref.toc
-rw-r--r-- 2000-07-01 19:49 +0200 21109 simp.tex
-rw-r--r-- 2000-07-01 19:49 +0200 2830 simplifier-eg.txt
-rw-r--r-- 2000-07-01 19:49 +0200 59836 simplifier.tex
-rw-r--r-- 2000-07-01 19:49 +0200 9635 substitution.tex
-rw-r--r-- 2000-07-01 19:49 +0200 41224 syntax.tex
-rw-r--r-- 2000-07-01 19:49 +0200 30122 tactic.tex
-rw-r--r-- 2000-07-01 19:49 +0200 21535 tctical.tex
-rw-r--r-- 2000-07-01 19:49 +0200 44247 theories.tex
-rw-r--r-- 2000-07-01 19:49 +0200 3959 theory-syntax.tex
-rw-r--r-- 2000-07-01 19:49 +0200 35370 thm.tex
-rw-r--r-- 2000-07-01 19:49 +0200 8274 undocumented.tex