| Thu, 26 May 1994 12:55:52 +0200 | clasohm | "Building new grammar" message is no longer displayed by empty_gram | changeset | files |
| Tue, 24 May 1994 09:04:03 +0200 | nipkow | Modified mk_meta_eq to leave meta-equlities on unchanged. | changeset | files |
| Thu, 19 May 1994 17:06:24 +0200 | wenzelm | thy reader now initialised by init_thy_reader(); | changeset | files |
| Thu, 19 May 1994 16:42:04 +0200 | wenzelm | *** empty log message *** | changeset | files |
| Thu, 19 May 1994 16:30:56 +0200 | wenzelm | (was Thy/read.ML) | changeset | files |
| Thu, 19 May 1994 16:27:16 +0200 | wenzelm | *** empty log message *** | changeset | files |
| Thu, 19 May 1994 16:26:19 +0200 | wenzelm | (replaces Thy/parse.ML and Thy/syntax.ML) | changeset | files |