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 |