| Wed, 30 Aug 2000 21:48:01 +0200 | kleing | added some bind_thm | changeset | files |
| Wed, 30 Aug 2000 21:47:39 +0200 | kleing | functional LBV style, dead code, type safety -> Isar | changeset | files |
| Wed, 30 Aug 2000 21:44:12 +0200 | kleing | MicroJava changed (all of BV -> Isar) | changeset | files |
| Wed, 30 Aug 2000 21:40:35 +0200 | kleing | tuned | changeset | files |
| Wed, 30 Aug 2000 18:09:20 +0200 | nipkow | *** empty log message *** | changeset | files |
| Wed, 30 Aug 2000 18:05:20 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 30 Aug 2000 17:55:12 +0200 | wenzelm | renamed antiquotation 'name' to 'text'; | changeset | files |
| Wed, 30 Aug 2000 17:54:46 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 30 Aug 2000 17:54:26 +0200 | wenzelm | added "source" option; | changeset | files |
| Wed, 30 Aug 2000 17:54:05 +0200 | wenzelm | token trans: removed \mbox to achieve proper italic correction; | changeset | files |
| Wed, 30 Aug 2000 17:53:23 +0200 | wenzelm | added string_of; | changeset | files |
| Wed, 30 Aug 2000 16:29:21 +0200 | nipkow | introduced induct_thm_tac | changeset | files |
| Wed, 30 Aug 2000 16:24:29 +0200 | nipkow | *** empty log message *** | changeset | files |
| Wed, 30 Aug 2000 15:30:19 +0200 | wenzelm | tuned; | changeset | files |