haftmann [Tue, 09 Nov 2010 14:02:12 +0100] rev 40463
fun_rel_def is no simp rule by default
paulson [Tue, 09 Nov 2010 14:00:10 +0000] rev 40462
merged
paulson [Tue, 09 Nov 2010 13:59:37 +0000] rev 40461
tidied using metis
wenzelm [Wed, 10 Nov 2010 15:59:23 +0100] rev 40460
manage folding via sidekick by default;
wenzelm [Wed, 10 Nov 2010 15:47:56 +0100] rev 40459
eliminated obsolete heading category -- superseded by heading_level;
wenzelm [Wed, 10 Nov 2010 15:43:06 +0100] rev 40458
treat main theory commands like headings, and nest anything else inside;
wenzelm [Wed, 10 Nov 2010 15:42:20 +0100] rev 40457
proper treatment of equal heading level;
wenzelm [Wed, 10 Nov 2010 15:41:29 +0100] rev 40456
added missing Keyword.THY_SCHEMATIC_GOAL;
more keyword categories;
wenzelm [Wed, 10 Nov 2010 15:17:25 +0100] rev 40455
default Sidekick parser based on section headings;
wenzelm [Wed, 10 Nov 2010 15:00:40 +0100] rev 40454
some support for nested source structure, based on section headings;