17 months ago ago wenzelm disallow pending hyps;
17 months ago ago wenzelm disallow hyps in export;
17 months ago ago wenzelm always consolidate: allow errors in presentation;
17 months ago ago wenzelm proper build_heap;
17 months ago ago wenzelm avoid pending shyps in global theory facts;
17 months ago ago paulson The unwinding number is an integer.
17 months ago ago paulson Now based on Complex_Main, not HOL.Deriv
17 months ago ago paulson merged
17 months ago ago Wenda Li NEWS and CONTRIBUTORS
17 months ago ago Lars Hupel remove trailing commas
17 months ago ago paulson Incorporating new/strengthened proofs from Library and AFP entries
17 months ago ago nipkow added lemmas
17 months ago ago paulson merged
17 months ago ago paulson Generalising and renaming some basic results
17 months ago ago immler transfer more lemmas
17 months ago ago immler fixed some oversights
17 months ago ago immler avoid duplicate facts, the "trick" was copied without deeper motivation
17 months ago ago wenzelm clarified settings -- avoid hard-wired directories;
17 months ago ago immler example for Types_To_Sets: transfer from type-based linear algebra to subspaces
17 months ago ago immler added lemmas and transfer rules
17 months ago ago wenzelm merged
17 months ago ago wenzelm smart_implode "$AFP" as well;
17 months ago ago paulson merged
17 months ago ago nipkow new theory Trie
17 months ago ago paulson a few new lemmas
17 months ago ago wenzelm merged
17 months ago ago wenzelm tuned;
17 months ago ago wenzelm updated documentation;
17 months ago ago wenzelm clarified syntax;
17 months ago ago wenzelm tuned signature;
17 months ago ago wenzelm simplified: allow only command names, with dummy for default;
17 months ago ago wenzelm clarified: more uniform keyword_tags;
17 months ago ago wenzelm tuned;
17 months ago ago wenzelm more flexible document_tags;
17 months ago ago wenzelm prefer explicit options;
17 months ago ago wenzelm clarified default tag;
17 months ago ago wenzelm add URL;
17 months ago ago wenzelm tuned;
17 months ago ago kleing more explicit statement of rat_denum to fit with top100 thms list
17 months ago ago paulson deleted redundant theorem
17 months ago ago paulson merged
17 months ago ago Lars Hupel support NUMA shuffling in CI
17 months ago ago wenzelm merged
17 months ago ago wenzelm more scalable output;
17 months ago ago Lars Hupel obsolete
17 months ago ago paulson Rationalisation of complex transcendentals, esp the Arg function
17 months ago ago paulson merged
17 months ago ago nipkow added lemmas; uniform names
17 months ago ago paulson Renaming Arg -> Arg2pi
17 months ago ago wenzelm disable export_document by default (presently unused and for demo/testing purposes): avoid spurious IO exception in highly parallel environment;
17 months ago ago wenzelm simplified ZF theory names (in contrast to 6a0801279f4c): session-qualification already achieves disjointness;
17 months ago ago paulson merged
17 months ago ago wenzelm tuned;
17 months ago ago wenzelm clarified queue ordering: take session descendants into account, notably for "slow" AFP sessions;
17 months ago ago paulson more modernisaton and de-applying
17 months ago ago wenzelm merged
17 months ago ago wenzelm clarified document antiquotation @{theory};
17 months ago ago wenzelm include target sessions as well: avoid default "Draft" qualification;
17 months ago ago wenzelm clarified signature;
17 months ago ago wenzelm more uniform syntax;