blanchet [Mon, 26 Jul 2010 11:19:57 +0200] rev 38224
remove confusing line in SPASS output (because the axiom names are off -- bug in SPASS)
blanchet [Mon, 26 Jul 2010 11:19:21 +0200] rev 38223
reorder SPASS conjectures correctly, based on Flotter output
paulson [Tue, 27 Jul 2010 12:02:10 +0100] rev 38222
Deleted an obsolete file
wenzelm [Mon, 26 Jul 2010 18:25:19 +0200] rev 38221
merged
wenzelm [Mon, 26 Jul 2010 17:59:26 +0200] rev 38220
inductive_cases: crude parallelization via Par_List.map;
wenzelm [Mon, 26 Jul 2010 17:41:26 +0200] rev 38219
modernized/unified some specifications;
wenzelm [Mon, 26 Jul 2010 13:50:52 +0200] rev 38218
Thy_Info.loaded_files: Thy_Load.loaded_files depends on master -- i.e. no files for finished theory;
wenzelm [Sun, 25 Jul 2010 21:42:39 +0200] rev 38217
simplified/clarified register_thy: more precise treatment of new dependencies, remove descendants;
eliminated obsolete touch_child_thys, register_theory;
wenzelm [Sun, 25 Jul 2010 14:41:48 +0200] rev 38216
simplified handling of theory begin/end wrt. toplevel and theory loader;
wenzelm [Sun, 25 Jul 2010 12:57:29 +0200] rev 38215
Thy_Load.check_loaded via Theory.at_end;