10 months ago wenzelm 2018-07-01 merged
10 months ago wenzelm 2018-07-01 discontinued pending_shyps: too much complication due to lazy facts;
10 months ago wenzelm 2018-07-01 proper error;
10 months ago paulson 2018-07-01 merged
10 months ago paulson 2018-07-01 a few more lemmas from Paulo and Martin
10 months ago nipkow 2018-07-01 merged
10 months ago nipkow 2018-07-01 added lemmas
10 months ago paulson 2018-06-30 credits to Paulo and Martin
10 months ago paulson 2018-06-30 More on Algebra by Paulo and Martin
10 months ago Andreas Lochbihler 2018-06-29 merged
10 months ago Andreas Lochbihler 2018-06-29 declare case theorems as proper code equations
10 months ago wenzelm 2018-06-29 tuned;
10 months ago wenzelm 2018-06-29 merged;
10 months ago wenzelm 2018-06-29 VSCode extension for official Isabelle release;
10 months ago wenzelm 2018-06-29 misc tuning and updates for release;
10 months ago wenzelm 2018-06-29 more manual tests;
10 months ago wenzelm 2018-06-29 misc tuning for release;
10 months ago wenzelm 2018-06-29 clarified error;
10 months ago wenzelm 2018-06-29 command-line option for include_sessions;
10 months ago wenzelm 2018-06-29 disallow pending hyps; disallow pending shyps, with option to override the check; tuned message;
10 months ago wenzelm 2018-06-29 disallow hyps in export; handle extra shyps as explicit sort constraints;
10 months ago wenzelm 2018-06-29 always consolidate: allow errors in presentation;
10 months ago wenzelm 2018-06-29 proper build_heap;
10 months ago wenzelm 2018-06-28 avoid pending shyps in global theory facts;
10 months ago paulson 2018-06-29 The unwinding number is an integer.
10 months ago paulson 2018-06-29 Now based on Complex_Main, not HOL.Deriv
10 months ago paulson 2018-06-29 merged
10 months ago paulson 2018-06-28 Incorporating new/strengthened proofs from Library and AFP entries
10 months ago Wenda Li 2018-06-29 NEWS and CONTRIBUTORS
10 months ago Lars Hupel 2018-06-29 remove trailing commas
10 months ago nipkow 2018-06-28 added lemmas
10 months ago paulson 2018-06-28 merged
10 months ago paulson 2018-06-28 Generalising and renaming some basic results
10 months ago immler 2018-06-28 transfer more lemmas
10 months ago immler 2018-06-28 fixed some oversights
10 months ago immler 2018-06-28 avoid duplicate facts, the "trick" was copied without deeper motivation
10 months ago wenzelm 2018-06-27 clarified settings -- avoid hard-wired directories; tuned documentation;
10 months ago immler 2018-06-27 example for Types_To_Sets: transfer from type-based linear algebra to subspaces
10 months ago immler 2018-06-27 added lemmas and transfer rules
10 months ago wenzelm 2018-06-26 merged
10 months ago wenzelm 2018-06-26 smart_implode "$AFP" as well;
10 months ago paulson 2018-06-26 merged
10 months ago paulson 2018-06-26 a few new lemmas
10 months ago nipkow 2018-06-26 new theory Trie
10 months ago wenzelm 2018-06-26 merged
10 months ago wenzelm 2018-06-26 tuned;
10 months ago wenzelm 2018-06-26 updated documentation;
10 months ago wenzelm 2018-06-26 clarified syntax;
10 months ago wenzelm 2018-06-26 tuned signature;
10 months ago wenzelm 2018-06-26 simplified: allow only command names, with dummy for default;
10 months ago wenzelm 2018-06-26 clarified: more uniform keyword_tags;
10 months ago wenzelm 2018-06-26 tuned;
10 months ago wenzelm 2018-06-26 more flexible document_tags;
10 months ago wenzelm 2018-06-26 prefer explicit options; tuned;
10 months ago wenzelm 2018-06-26 clarified default tag;
10 months ago wenzelm 2018-06-26 add URL;
10 months ago wenzelm 2018-06-26 tuned;
10 months ago kleing 2018-06-26 more explicit statement of rat_denum to fit with top100 thms list
10 months ago paulson 2018-06-26 deleted redundant theorem
10 months ago paulson 2018-06-26 merged