| 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 |
| Mon, 11 Jul 1994 16:47:20 +0200 | lcp | New errata list for the documentation | changeset | files |
| Mon, 11 Jul 1994 16:29:21 +0200 | lcp | misc updates | changeset | files |
| Mon, 11 Jul 1994 13:15:05 +0200 | clasohm | removed flatten_term and replaced add_axioms by add_axioms_i | changeset | files |