| Thu, 29 Jun 2000 22:48:08 +0200 | wenzelm | improved arrangement of files; | changeset | files |
| Thu, 29 Jun 2000 22:39:57 +0200 | wenzelm | tuned rail setup; | changeset | files |
| Thu, 29 Jun 2000 22:39:31 +0200 | wenzelm | added lbrace, rbrace, atsign; | changeset | files |
| Thu, 29 Jun 2000 22:39:09 +0200 | wenzelm | added \indexisarant; | changeset | files |
| Thu, 29 Jun 2000 22:38:30 +0200 | wenzelm | adapted args of IsarThy.have_theorems_i; | changeset | files |
| Thu, 29 Jun 2000 22:37:24 +0200 | wenzelm | syntax: renamed 'thmname' to 'thmbind'; | changeset | files |