wenzelm [Wed, 09 Jul 2008 22:32:17 +0200] rev 27513
removed owner;
wenzelm [Wed, 09 Jul 2008 22:25:24 +0200] rev 27512
tuned description;
wenzelm [Wed, 09 Jul 2008 22:23:34 +0200] rev 27511
changes wrt. gitweb style;
wenzelm [Wed, 09 Jul 2008 22:13:09 +0200] rev 27510
style = isabelle (based on gitweb);
huffman [Wed, 09 Jul 2008 20:18:06 +0200] rev 27509
rearrange instantiations
wenzelm [Wed, 09 Jul 2008 17:14:31 +0200] rev 27508
added get_first;
tuned;
wenzelm [Tue, 08 Jul 2008 23:20:07 +0200] rev 27507
updated generated file;
wenzelm [Tue, 08 Jul 2008 23:14:35 +0200] rev 27506
updated generated file;
huffman [Tue, 08 Jul 2008 22:25:12 +0200] rev 27505
fix more typos
huffman [Tue, 08 Jul 2008 22:07:39 +0200] rev 27504
fix another typo
huffman [Tue, 08 Jul 2008 22:02:15 +0200] rev 27503
fix typo
wenzelm [Tue, 08 Jul 2008 21:55:41 +0200] rev 27502
updated generated file;
wenzelm [Tue, 08 Jul 2008 21:15:23 +0200] rev 27501
global commands: explicit graph;
tuned;
wenzelm [Tue, 08 Jul 2008 20:42:00 +0200] rev 27500
export str_of;
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