clasohm [Fri, 15 Jul 1994 13:30:42 +0200] rev 476
added check for concistency of filename and theory name;
made loaded_thys a symtab instead of an association list;
added store_thm, qed, get_thm, get_thms
clasohm [Fri, 15 Jul 1994 12:24:05 +0200] rev 475
added function mapst
wenzelm [Thu, 14 Jul 1994 11:39:25 +0200] rev 474
added functor signature constraint;
wenzelm [Thu, 14 Jul 1994 11:38:24 +0200] rev 473
minor internal renamings;
wenzelm [Thu, 14 Jul 1994 11:37:08 +0200] rev 472
changed syntax "(| _ : _ |)" to "OFCLASS(_, _)";
lcp [Wed, 13 Jul 1994 10:13:52 +0200] rev 471
indentation and renaming of rules
lcp [Tue, 12 Jul 1994 18:38:39 +0200] rev 470
minor updates
lcp [Tue, 12 Jul 1994 18:30:53 +0200] rev 469
chain_tac: deleted; just use etac mp
lcp [Tue, 12 Jul 1994 18:20:39 +0200] rev 468
Improved error checking
lcp [Tue, 12 Jul 1994 18:05:03 +0200] rev 467
new cardinal arithmetic developments