2010-11-10 wenzelm merged
2010-11-10 blanchet make SML/NJ happy
2010-11-09 haftmann merged
2010-11-09 haftmann slightly changed fun_map_def
2010-11-09 haftmann fun_rel_def is no simp rule by default
2010-11-09 haftmann more appropriate specification packages; fun_rel_def is no simp rule by default
2010-11-09 haftmann type annotations in specifications; fun_rel_def is no simp rule by default; slightly changed fun_map_def; more on predicates on relation functions; proper HOL equations in definitions
2010-11-09 haftmann more appropriate specification packages; fun_rel_def is no simp rule by default
2010-11-09 haftmann type annotations in specifications; fun_rel_def is no simp rule by default
2010-11-09 haftmann fun_rel_def is no simp rule by default
2010-11-09 paulson merged
2010-11-09 paulson tidied using metis
2010-11-10 wenzelm manage folding via sidekick by default;
2010-11-10 wenzelm eliminated obsolete heading category -- superseded by heading_level;
2010-11-10 wenzelm treat main theory commands like headings, and nest anything else inside;
2010-11-10 wenzelm proper treatment of equal heading level;
2010-11-10 wenzelm added missing Keyword.THY_SCHEMATIC_GOAL;
2010-11-10 wenzelm default Sidekick parser based on section headings;
2010-11-10 wenzelm some support for nested source structure, based on section headings;
2010-11-10 wenzelm tuned;
2010-11-09 wenzelm misc tuning and simplification, using Isabelle_Sidekick.Asset (not sidekick.Asset, which is dynamically dispatched to slightly different semantics);
2010-11-09 wenzelm updated version;
2010-11-09 wenzelm private counter, to keep externalized ids a bit smaller;
2010-11-09 wenzelm added general Synchronized.counter convenience;
2010-11-09 wenzelm explicitly identify forked/joined tasks;
2010-11-09 wenzelm accomodate old manuals that include pdfsetup.sty without isabelle.sty;
2010-11-09 wenzelm merged
2010-11-08 krauss removed type-inference-like behaviour from relation_tac completely; tuned
2010-11-08 wenzelm avoid clash of \<upharpoonright> vs. \<restriction> (cf. 666ea7e62384 and 3c49dbece0a8);
2010-11-08 wenzelm explicitly check uniqueness of symbol recoding;
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip