| Tue, 06 Feb 1996 12:27:17 +0100 | clasohm | expanded tabs | changeset | files |
| Mon, 05 Feb 1996 21:33:14 +0100 | clasohm | expanded tabs | changeset | files |
| Mon, 05 Feb 1996 21:29:06 +0100 | clasohm | expanded tabs; incorporated Konrad's changes | changeset | files |
| Mon, 05 Feb 1996 21:27:16 +0100 | clasohm | expanded tabs; renamed subtype to typedef; | changeset | files |
| Mon, 05 Feb 1996 14:44:09 +0100 | clasohm | expanded tabs | changeset | files |
| Mon, 05 Feb 1996 13:44:28 +0100 | clasohm | expanded tabs | changeset | files |
| Fri, 02 Feb 1996 12:05:24 +0100 | clasohm | renamed subtype.ML to typedef.ML | changeset | files |
| Thu, 01 Feb 1996 16:18:52 +0100 | nipkow | documented split_all_tac in HOL. | changeset | files |
| Thu, 01 Feb 1996 13:25:40 +0100 | clasohm | renamed subtype.ML to typedef.ML | changeset | files |
| Thu, 01 Feb 1996 12:08:43 +0100 | clasohm | fixed two little bugs | changeset | files |
| Wed, 31 Jan 1996 17:15:03 +0100 | nipkow | right-hard -> right-hand | changeset | files |
| Wed, 31 Jan 1996 15:02:26 +0100 | nipkow | Typo | changeset | files |
| Tue, 30 Jan 1996 15:31:04 +0100 | clasohm | fixed typo | changeset | files |
| Tue, 30 Jan 1996 15:24:36 +0100 | clasohm | expanded tabs | changeset | files |
| Tue, 30 Jan 1996 15:19:20 +0100 | clasohm | expanded tabs; removed commit() from ROOT.ML | changeset | files |
| Tue, 30 Jan 1996 15:12:53 +0100 | clasohm | expanded tabs | changeset | files |
| Tue, 30 Jan 1996 13:56:16 +0100 | clasohm | fixed typo | changeset | files |
| Tue, 30 Jan 1996 13:42:57 +0100 | clasohm | expanded tabs | changeset | files |
| Mon, 29 Jan 1996 14:16:13 +0100 | clasohm | inserted tabs again | changeset | files |
| Mon, 29 Jan 1996 13:58:15 +0100 | clasohm | expanded tabs | changeset | files |
| Mon, 29 Jan 1996 13:56:41 +0100 | clasohm | removed tabs | changeset | files |
| Mon, 29 Jan 1996 13:50:10 +0100 | clasohm | added facility to associate arbitrary data with theories | changeset | files |
| Mon, 29 Jan 1996 13:49:17 +0100 | clasohm | added absolute_path | changeset | files |
| Mon, 29 Jan 1996 13:48:37 +0100 | clasohm | changed the way simpsets and information about datatypes are stored | changeset | files |
| Fri, 26 Jan 1996 20:25:39 +0100 | nipkow | Streamlined defs in Relation and added new intro/elim rules to do with | changeset | files |
| Fri, 26 Jan 1996 13:43:36 +0100 | clasohm | extended warning regarding MAKE_HTML databases | changeset | files |
| Fri, 26 Jan 1996 12:45:09 +0100 | clasohm | added warning for databases made with set MAKE_HTML | changeset | files |
| Tue, 23 Jan 1996 14:25:55 +0100 | nipkow | Added vcwp | changeset | files |
| Tue, 23 Jan 1996 11:33:46 +0100 | paulson | Renamed letI to LetI (for consistency) | changeset | files |
| Tue, 23 Jan 1996 11:27:29 +0100 | paulson | Added discussion of "let" and pattern-matching | changeset | files |