2014-08-18 blanchet 2014-08-18 updated docs
2014-08-18 blanchet 2014-08-18 set attributes on 'set_cases' theorem
2014-08-18 blanchet 2014-08-18 cleaned up derivation of 'sset_induct'
2014-08-18 blanchet 2014-08-18 tuning
2014-08-18 blanchet 2014-08-18 added collection theorem for consistency and convenience
2014-08-18 blanchet 2014-08-18 reordered some (co)datatype property names for more consistency
2014-08-18 desharna 2014-08-18 document 'map_cong_simp'
2014-08-18 desharna 2014-08-18 generate 'map_cong_simp' for BNFs
2014-08-18 wenzelm 2014-08-18 merged
2014-08-18 wenzelm 2014-08-18 merged;
2014-08-18 wenzelm 2014-08-18 Added tag Isabelle2014-RC4 for changeset 113b43b84412 Isabelle2014
2014-08-18 wenzelm 2014-08-18 updated to jdk-7u67;
2014-08-17 wenzelm 2014-08-17 postpone changes in intermediate state between remove_versions/removed_versions, which is important for handle_change to refer to defined items on prover side;
2014-08-15 wenzelm 2014-08-15 explicit system message for protocol failure -- show on Syslog panel instead of Raw Output; more robust crash recovery: warning could crash again;
2014-08-13 wenzelm 2014-08-13 added option editor_syslog_limit;
2014-08-13 wenzelm 2014-08-13 tuned;
2014-08-13 wenzelm 2014-08-13 updated to cygwin-20140813 -- some version after 1.7.31-3;
2014-08-18 desharna 2014-08-18 document 'inj_map_strong'
2014-08-18 desharna 2014-08-18 generate 'inj_map_strong' for BNFs
2014-08-18 desharna 2014-08-18 note 'inj_map' more often
2014-08-18 desharna 2014-08-18 generate property 'rel_mono_strong' for BNFs
2014-08-18 desharna 2014-08-18 renamed 'rel_mono_strong' to 'rel_mono_strong0'
2014-08-17 blanchet 2014-08-17 use 'image_mset' as BNF map function
2014-08-17 wenzelm 2014-08-17 made SML/NJ happy;
2014-08-16 wenzelm 2014-08-16 updated to named_theorems;
2014-08-16 wenzelm 2014-08-16 updated to named_theorems;
2014-08-16 wenzelm 2014-08-16 updated to named_theorems;
2014-08-16 wenzelm 2014-08-16 updated to named_theorems;
2014-08-16 wenzelm 2014-08-16 updated to named_theorems; modernized setup;
2014-08-16 wenzelm 2014-08-16 updated to named_theorems; modernized module name and setup;
2014-08-16 wenzelm 2014-08-16 clarified order of rules;
2014-08-16 wenzelm 2014-08-16 updated to named_theorems; modernized setup; tuned;
2014-08-16 wenzelm 2014-08-16 updated to named_theorems;
2014-08-16 wenzelm 2014-08-16 clarified order of arith rules;
2014-08-16 wenzelm 2014-08-16 clarified order of rules for match_tac/resolve_tac;
2014-08-16 wenzelm 2014-08-16 updated to named_theorems;
2014-08-16 wenzelm 2014-08-16 updated to named_theorems;
2014-08-16 wenzelm 2014-08-16 updated to named_theorems;
2014-08-16 wenzelm 2014-08-16 updated to named_theorems;
2014-08-16 wenzelm 2014-08-16 updated to named_theorems;
2014-08-16 wenzelm 2014-08-16 modernized module name and setup;
2014-08-16 wenzelm 2014-08-16 updated syntax for localized commands;
2014-08-16 wenzelm 2014-08-16 updated documentation concerning 'named_theorems';
2014-08-16 wenzelm 2014-08-16 prefer 'named_theorems' over Named_Thms, with subtle change of semantics due to visual order vs. internal reverse order;
2014-08-15 wenzelm 2014-08-15 more informative Token.Name with history of morphisms; tuned signature;
2014-08-14 wenzelm 2014-08-14 merged
2014-08-14 wenzelm 2014-08-14 more informative Token.Fact: retain name of dynamic fact (without selection);
2014-08-14 wenzelm 2014-08-14 localized command 'method_setup' and 'attribute_setup'; clarified (non)application of morphism: argument src is already transformed, semantic body remains untransformed;
2014-08-14 wenzelm 2014-08-14 T1 font encoding with searchable underscore (requires proper cm-super fonts);
2014-08-14 wenzelm 2014-08-14 prefer high-level change of \isabellestyle;
2014-08-14 wenzelm 2014-08-14 tuned;
2014-08-14 wenzelm 2014-08-14 tuned;
2014-08-14 wenzelm 2014-08-14 tuned signature;
2014-08-14 wenzelm 2014-08-14 localized method definitions (see also f14c1248d064);
2014-08-14 wenzelm 2014-08-14 tuned signature -- prefer self-contained user-space tool;
2014-08-14 desharna 2014-08-14 document property 'rel_map'
2014-08-14 desharna 2014-08-14 generate 'rel_map' theorem for BNFs
2014-08-13 wenzelm 2014-08-13 tuned;
2014-08-13 wenzelm 2014-08-13 merged
2014-08-13 wenzelm 2014-08-13 tuned signature -- proper Local_Theory.add_thms_dynamic;