| Thu, 25 Nov 1993 14:32:54 +0100 | clasohm | changed beginning of "Reading a new theory", added index "automatic loading" | changeset | files |
| Thu, 25 Nov 1993 14:23:04 +0100 | wenzelm | corrected trivial typo; | changeset | files |
| Thu, 25 Nov 1993 14:16:40 +0100 | wenzelm | corrected trivial typo; | changeset | files |
| Thu, 25 Nov 1993 13:54:21 +0100 | clasohm | fixed a bug in get_filenames, changed output of use_thy | changeset | files |