| Tue, 26 Jul 1994 14:02:16 +0200 | lcp | Misc minor updates | changeset | files |
| Tue, 26 Jul 1994 13:44:42 +0200 | lcp | Axiom of choice, cardinality results, etc. | changeset | files |
| Tue, 26 Jul 1994 13:21:20 +0200 | lcp | Axiom of choice, cardinality results, etc. | changeset | files |
| Thu, 21 Jul 1994 16:51:26 +0200 | nipkow | added IMP | changeset | files |
| Thu, 21 Jul 1994 14:27:00 +0200 | nipkow | Initial revision | changeset | files |
| Thu, 21 Jul 1994 14:05:34 +0200 | nipkow | Initial revision | changeset | files |
| Wed, 20 Jul 1994 12:09:48 +0200 | wenzelm | fixed comment: "(| _ : _ |)" to "OFCLASS(_, _)" | changeset | files |
| Mon, 18 Jul 1994 12:24:35 +0200 | nipkow | *** empty log message *** | changeset | files |
| Mon, 18 Jul 1994 12:22:30 +0200 | nipkow | added init_thy_reader and removed extend_theory | changeset | files |
| Fri, 15 Jul 1994 13:34:31 +0200 | clasohm | added thy_name to Datatype_Fun's parameter | changeset | files |
| Fri, 15 Jul 1994 13:30:42 +0200 | clasohm | added check for concistency of filename and theory name; | changeset | files |
| Fri, 15 Jul 1994 12:24:05 +0200 | clasohm | added function mapst | changeset | files |
| Thu, 14 Jul 1994 11:39:25 +0200 | wenzelm | added functor signature constraint; | changeset | files |
| Thu, 14 Jul 1994 11:38:24 +0200 | wenzelm | minor internal renamings; | changeset | files |
| Thu, 14 Jul 1994 11:37:08 +0200 | wenzelm | changed syntax "(| _ : _ |)" to "OFCLASS(_, _)"; | changeset | files |
| Wed, 13 Jul 1994 10:13:52 +0200 | lcp | indentation and renaming of rules | changeset | files |
| Tue, 12 Jul 1994 18:38:39 +0200 | lcp | minor updates | changeset | files |
| Tue, 12 Jul 1994 18:30:53 +0200 | lcp | chain_tac: deleted; just use etac mp | changeset | files |
| Tue, 12 Jul 1994 18:20:39 +0200 | lcp | Improved error checking | changeset | files |
| Tue, 12 Jul 1994 18:05:03 +0200 | lcp | new cardinal arithmetic developments | changeset | files |
| Tue, 12 Jul 1994 14:26:04 +0200 | clasohm | removed flatten_typ and replaced add_consts by add_consts_i | changeset | files |
| Tue, 12 Jul 1994 12:49:15 +0200 | nipkow | Corrected HOL.tex | changeset | files |
| Tue, 12 Jul 1994 09:28:00 +0200 | nipkow | added datatype section | changeset | files |
| Tue, 12 Jul 1994 09:14:04 +0200 | nipkow | included rail.sty | changeset | files |
| Mon, 11 Jul 1994 20:03:40 +0200 | nipkow | Initial revision | changeset | files |
| Mon, 11 Jul 1994 18:38:09 +0200 | lcp | minor edits | changeset | files |
| Mon, 11 Jul 1994 18:33:28 +0200 | lcp | restoring after deletion | changeset | files |
| Mon, 11 Jul 1994 18:26:57 +0200 | lcp | minor edits | changeset | files |
| Mon, 11 Jul 1994 17:50:34 +0200 | nipkow | type constraints | changeset | files |
| Mon, 11 Jul 1994 17:38:10 +0200 | lcp | documented subgoals_tac | changeset | files |