| Wed, 06 Aug 1997 00:29:54 +0200 | berghofe | Added function "file_exists". | changeset | files |
| Wed, 06 Aug 1997 00:29:02 +0200 | berghofe | Removed function file_exists (now included in library.ML) | changeset | files |
| Wed, 06 Aug 1997 00:26:19 +0200 | berghofe | Moved functions for theory information storage / retrieval | changeset | files |
| Wed, 06 Aug 1997 00:24:49 +0200 | berghofe | This file now contains all functions for generating html | changeset | files |
| Wed, 06 Aug 1997 00:23:01 +0200 | berghofe | Moved several functions: | changeset | files |
| Wed, 06 Aug 1997 00:18:34 +0200 | berghofe | Moved "qed" - functions etc. from thy_read.ML to thm_database.ML. | changeset | files |
| Wed, 06 Aug 1997 00:15:14 +0200 | berghofe | Added some additional "use" commands for new files | changeset | files |