| Tue, 06 Sep 1994 11:02:16 +0200 | lcp | removal of needless quotes | changeset | files |
| Wed, 31 Aug 1994 17:34:12 +0200 | nipkow | Updated datatype documentation with a few hints | changeset | files |
| Thu, 25 Aug 1994 12:21:00 +0200 | lcp | new file of useful things for writing theory sections | changeset | files |
| Thu, 25 Aug 1994 12:09:21 +0200 | lcp | ZF/Inductive.thy,.ML: renamed from "inductive" to allow re-building without | changeset | files |
| Thu, 25 Aug 1994 10:41:17 +0200 | lcp | print_sign_exn: now exported, with a polymorphic type | changeset | files |
| Wed, 24 Aug 1994 15:48:47 +0200 | lcp | ZF/ex/LList/lconst_type: streamlined proof | changeset | files |
| Tue, 23 Aug 1994 19:34:01 +0200 | wenzelm | added print_syntax: theory -> unit; | changeset | files |