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;