| Fri, 11 Jul 1997 13:28:53 +0200 | paulson | Moved some declarations to Message from Public and Shared | changeset | files |
| Fri, 11 Jul 1997 13:27:15 +0200 | paulson | Now loads theory Event, which contains common declarations | changeset | files |
| Fri, 11 Jul 1997 13:26:15 +0200 | paulson | Moving common declarations and proofs from theories "Shared" | changeset | files |
| Wed, 09 Jul 1997 17:00:34 +0200 | wenzelm | removed obsolete init_pps and init_thy_reader; | changeset | files |
| Wed, 09 Jul 1997 16:54:17 +0200 | wenzelm | improved type checking errors; | changeset | files |
| Wed, 09 Jul 1997 16:53:53 +0200 | wenzelm | removed init_pps; | changeset | files |
| Wed, 09 Jul 1997 16:52:51 +0200 | wenzelm | removed init_database; | changeset | files |
| Wed, 09 Jul 1997 12:57:04 +0200 | nipkow | Improved length = size translation. | changeset | files |