Tue, 05 Oct 1999 15:32:26 +0200 | wenzelm | added Thy/latex.ML; | changeset | files |
Tue, 05 Oct 1999 15:32:16 +0200 | berghofe | Got rid of readtm. | changeset | files |
Tue, 05 Oct 1999 15:31:42 +0200 | berghofe | Tuned inductive definition. | changeset | files |