haftmann [Tue, 08 Jul 2008 18:13:12 +0200] rev 27499
clarified code
haftmann [Tue, 08 Jul 2008 18:13:11 +0200] rev 27498
exported weaken combinator
haftmann [Tue, 08 Jul 2008 18:13:10 +0200] rev 27497
refined arity property concept
haftmann [Tue, 08 Jul 2008 18:13:09 +0200] rev 27496
fix: using IntInf.int for SML
wenzelm [Tue, 08 Jul 2008 17:52:28 +0200] rev 27495
moved and renamed IsarCmd.kill_theory to ThyInfo.kill_thy;
non-pervasive touch_thy, remove_thy;
wenzelm [Tue, 08 Jul 2008 17:52:26 +0200] rev 27494
removed obsolete touch_child_thys;
simplified touch_thy, remove_thy, kill_thy -- inlined;
wenzelm [Tue, 08 Jul 2008 17:52:24 +0200] rev 27493
moved and renamed IsarCmd.kill_theory to ThyInfo.kill_thy;
removed unused touch_child_thys, touch_thy, remove_thy, kill_thy;
wenzelm [Tue, 08 Jul 2008 17:48:17 +0200] rev 27492
more qualified ThyInfo names;
wenzelm [Tue, 08 Jul 2008 16:19:24 +0200] rev 27491
begin_theory: files_html needs to be produced outside of prep_html_source to make ML files appear!
replaced warning by error for non-existant theory/ML info;
wenzelm [Tue, 08 Jul 2008 16:19:23 +0200] rev 27490
removed unused href_opt_name;
begin_theory: unconditional file links, proper output of parentheses;
kleing [Tue, 08 Jul 2008 13:45:27 +0200] rev 27489
migrated at-sml-dev-p to macbroy24, hoping for more reliable hardware
kleing [Mon, 07 Jul 2008 23:37:33 +0200] rev 27488
retired mac-sml-dev.
haftmann [Mon, 07 Jul 2008 08:47:17 +0200] rev 27487
absolute imports of HOL/*.thy theories
huffman [Fri, 04 Jul 2008 16:33:08 +0200] rev 27486
prefer theorem names without numbers