| Tue, 18 Jul 2000 21:09:18 +0200 | wenzelm | theorems foo.splits = foo.split foo.split_asm; | changeset | files |
| Tue, 18 Jul 2000 21:08:57 +0200 | wenzelm | removed obsolete expand_if = split_if; | changeset | files |
| Tue, 18 Jul 2000 21:08:40 +0200 | wenzelm | * HOL: removed obsolete expand_if = split_if; theorems if_splits = | changeset | files |
| Tue, 18 Jul 2000 21:08:20 +0200 | wenzelm | * HOL: removed obsolete expand_if = split_if; theorems if_splits = | changeset | files |
| Tue, 18 Jul 2000 14:52:30 +0200 | wenzelm | replaced arities by instance; | changeset | files |
| Tue, 18 Jul 2000 13:16:48 +0200 | kleing | MicroJava structure changed | changeset | files |
| Mon, 17 Jul 2000 21:44:39 +0200 | wenzelm | consts: include *all* names; | changeset | files |