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 |