| Wed, 06 Aug 1997 14:10:22 +0200 | wenzelm | ThmDatabase; | changeset | files |
| Wed, 06 Aug 1997 14:09:50 +0200 | wenzelm | added read_file, write_file; | changeset | files |
| Wed, 06 Aug 1997 11:58:50 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 06 Aug 1997 11:57:52 +0200 | wenzelm | use ThySyn.add_syntax; | changeset | files |
| Wed, 06 Aug 1997 11:57:20 +0200 | wenzelm | tuned comments; | changeset | files |
| Wed, 06 Aug 1997 11:56:31 +0200 | wenzelm | oops; | changeset | files |
| Wed, 06 Aug 1997 11:52:16 +0200 | wenzelm | eliminated ThySynData and ThySynFun; | changeset | files |
| Wed, 06 Aug 1997 11:19:59 +0200 | wenzelm | obsolete! | changeset | files |
| Wed, 06 Aug 1997 01:18:31 +0200 | berghofe | Replaced "init_thy_reader" by "set_parser". | changeset | files |
| Wed, 06 Aug 1997 01:17:42 +0200 | berghofe | Removed references to "thy_data.ML". | changeset | files |
| Wed, 06 Aug 1997 01:13:46 +0200 | berghofe | Moved some functions which used to be part of thy_data.ML | changeset | files |
| Wed, 06 Aug 1997 01:12:03 +0200 | berghofe | Moved functions contained in this file to HOL.ML, datatype.ML, | changeset | files |