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 |