/doc-src/Ref/
drwxr-xr-x [up]
-rw-r--r-- 1995-05-09 10:42 +0200 620 Makefile
-rw-r--r-- 1995-05-09 10:42 +0200 476 abstract.txt
-rw-r--r-- 1995-05-09 10:42 +0200 23271 classical.tex
-rw-r--r-- 1995-05-09 10:42 +0200 34532 defining.tex
-rw-r--r-- 1995-05-09 10:42 +0200 20529 goals.tex
-rw-r--r-- 1995-05-09 10:42 +0200 10652 introduction.tex
-rw-r--r-- 1995-05-09 10:42 +0200 2145 ref.bbl
-rw-r--r-- 1995-05-09 10:42 +0200 1964 ref.tex
-rw-r--r-- 1995-05-09 10:42 +0200 11197 ref.toc
-rw-r--r-- 1995-05-09 10:42 +0200 21109 simp.tex
-rw-r--r-- 1995-05-09 10:42 +0200 2746 simplifier-eg.txt
-rw-r--r-- 1995-05-09 10:42 +0200 32914 simplifier.tex
-rw-r--r-- 1995-05-09 10:42 +0200 7821 substitution.tex
-rw-r--r-- 1995-05-09 10:42 +0200 38111 syntax.tex
-rw-r--r-- 1995-05-09 10:42 +0200 27434 tactic.tex
-rw-r--r-- 1995-05-09 10:42 +0200 20469 tctical.tex
-rw-r--r-- 1995-05-09 10:42 +0200 28143 theories.tex
-rw-r--r-- 1995-05-09 10:42 +0200 2169 theory-syntax.tex
-rw-r--r-- 1995-05-09 10:42 +0200 25747 thm.tex
-rw-r--r-- 1995-05-09 10:42 +0200 8263 undocumented.tex