| Tue, 05 Oct 1999 15:31:42 +0200 | berghofe | Tuned inductive definition. | changeset | files |
| Tue, 05 Oct 1999 15:31:39 +0200 | wenzelm | updated; | changeset | files |
| Tue, 05 Oct 1999 15:30:58 +0200 | wenzelm | added Thy/latex.ML; | changeset | files |
| Tue, 05 Oct 1999 15:30:14 +0200 | wenzelm | Present.setup; | changeset | files |
| Tue, 05 Oct 1999 15:29:46 +0200 | berghofe | Added attribute rulify_prems (useful for modifying premises of introduction | changeset | files |
| Tue, 05 Oct 1999 15:29:36 +0200 | wenzelm | added copy_all; | changeset | files |
| Tue, 05 Oct 1999 15:28:37 +0200 | wenzelm | clear: int arg; | changeset | files |
| Tue, 05 Oct 1999 15:26:10 +0200 | wenzelm | added position; | changeset | files |