drwxr-xr-x |
|
|
[up]
|
|
-rw-r--r-- |
1998-07-21 17:30 +0200 |
811 |
Makefile
|
file |
revisions |
annotate
|
-rw-r--r-- |
1998-07-21 17:30 +0200 |
476 |
abstract.txt
|
file |
revisions |
annotate
|
-rw-r--r-- |
1998-07-21 17:30 +0200 |
35029 |
classical.tex
|
file |
revisions |
annotate
|
-rw-r--r-- |
1998-07-21 17:30 +0200 |
37175 |
defining.tex
|
file |
revisions |
annotate
|
-rw-r--r-- |
1998-07-21 17:30 +0200 |
23090 |
goals.tex
|
file |
revisions |
annotate
|
-rw-r--r-- |
1998-07-21 17:30 +0200 |
12582 |
introduction.tex
|
file |
revisions |
annotate
|
-rw-r--r-- |
1998-07-21 17:30 +0200 |
2216 |
ref.bbl
|
file |
revisions |
annotate
|
-rw-r--r-- |
1998-07-21 17:30 +0200 |
28030 |
ref.ind
|
file |
revisions |
annotate
|
-rw-r--r-- |
1998-07-21 17:30 +0200 |
9049 |
ref.rao
|
file |
revisions |
annotate
|
-rw-r--r-- |
1998-07-21 17:30 +0200 |
2176 |
ref.tex
|
file |
revisions |
annotate
|
-rw-r--r-- |
1998-07-21 17:30 +0200 |
11197 |
ref.toc
|
file |
revisions |
annotate
|
-rw-r--r-- |
1998-07-21 17:30 +0200 |
21109 |
simp.tex
|
file |
revisions |
annotate
|
-rw-r--r-- |
1998-07-21 17:30 +0200 |
2830 |
simplifier-eg.txt
|
file |
revisions |
annotate
|
-rw-r--r-- |
1998-07-21 17:30 +0200 |
56409 |
simplifier.tex
|
file |
revisions |
annotate
|
-rw-r--r-- |
1998-07-21 17:30 +0200 |
9596 |
substitution.tex
|
file |
revisions |
annotate
|
-rw-r--r-- |
1998-07-21 17:30 +0200 |
41210 |
syntax.tex
|
file |
revisions |
annotate
|
-rw-r--r-- |
1998-07-21 17:30 +0200 |
29048 |
tactic.tex
|
file |
revisions |
annotate
|
-rw-r--r-- |
1998-07-21 17:30 +0200 |
20455 |
tctical.tex
|
file |
revisions |
annotate
|
-rw-r--r-- |
1998-07-21 17:30 +0200 |
39082 |
theories.tex
|
file |
revisions |
annotate
|
-rw-r--r-- |
1998-07-21 17:30 +0200 |
3368 |
theory-syntax.tex
|
file |
revisions |
annotate
|
-rw-r--r-- |
1998-07-21 17:30 +0200 |
33547 |
thm.tex
|
file |
revisions |
annotate
|
-rw-r--r-- |
1998-07-21 17:30 +0200 |
8274 |
undocumented.tex
|
file |
revisions |
annotate
|