7 months ago wenzelm 2018-09-12 tuned signature;
7 months ago nipkow 2018-09-12 added spaces because otherwise nonatomic arguments look awful: BIGf x -> BIG f x
7 months ago paulson 2018-09-12 merged
7 months ago paulson 2018-09-12 merged
7 months ago paulson 2018-09-12 tiny cleanup
7 months ago paulson 2018-09-11 merged
7 months ago paulson 2018-09-11 A few new results, elimination of duplicates and more use of "pairwise"
7 months ago nipkow 2018-09-12 tuned
7 months ago nipkow 2018-09-12 tuned "=" syntax declarations; made "~=" uniformly "infix"
7 months ago nipkow 2018-09-11 tuned proof
7 months ago nipkow 2018-09-11 simplified defns
7 months ago nipkow 2018-09-11 "undefined" not needed, [] is perfectly natural
7 months ago nipkow 2018-09-11 tuned
7 months ago nipkow 2018-09-10 tuned
7 months ago nipkow 2018-09-10 tuned
7 months ago nipkow 2018-09-10 tuned
7 months ago eberlm 2018-09-09 Removed problematic rules from continuous_intros
7 months ago nipkow 2018-09-09 merged
7 months ago nipkow 2018-09-09 tuned
7 months ago wenzelm 2018-09-09 tuned message (again);
7 months ago wenzelm 2018-09-09 proper binding positions within the defining command transaction;
7 months ago wenzelm 2018-09-09 smash position to avoid position of other file "~~/src/HOL/BNF_Composition.thy" (due to "bnf ID"), e.g. relevant for "HOL-Nominal-Examples.Class1";
7 months ago wenzelm 2018-09-09 clarified message;
7 months ago wenzelm 2018-09-09 tuned message;
7 months ago wenzelm 2018-09-09 clarified theory progress;
7 months ago wenzelm 2018-09-08 tuned message;
7 months ago wenzelm 2018-09-08 more robust test: virtualization may provide misleading information;
7 months ago wenzelm 2018-09-08 implicit use of NUMA policy, absorbing potential errors;
7 months ago wenzelm 2018-09-08 tuned signature;
7 months ago wenzelm 2018-09-08 tuned;
7 months ago wenzelm 2018-09-08 more uniform Progress, with theory() for batch-build and theory_percentage() for PIDE session;
7 months ago wenzelm 2018-09-08 merged
7 months ago wenzelm 2018-09-08 ensure foundational order of commits, taking Pure as implicit starting point;
7 months ago wenzelm 2018-09-08 more accurate output;
7 months ago wenzelm 2018-09-08 clarified defaults; more uniform treatment of "disabled" case;
7 months ago wenzelm 2018-09-08 more accurate output;
7 months ago wenzelm 2018-09-08 support for watchdog_timeout;
7 months ago wenzelm 2018-09-08 tuned signature;
7 months ago wenzelm 2018-09-08 tuned signature;
7 months ago wenzelm 2018-09-08 removed junk;
7 months ago wenzelm 2018-09-08 tuned output;
7 months ago haftmann 2018-09-08 more appropriate conversion of HOL character literals to character codes: symbolic newline is interpreted as 0x10
7 months ago haftmann 2018-09-08 more explicit notion of ord value for HOL characters
7 months ago haftmann 2018-09-08 left-over rename from 3f9bb52082c4
7 months ago wenzelm 2018-09-07 merged
7 months ago wenzelm 2018-09-07 continuously clean frontier of already committed theories: much less resource requirements;
7 months ago wenzelm 2018-09-07 tuned signature;
7 months ago nipkow 2018-09-07 missing name
7 months ago wenzelm 2018-09-07 tuned whitespace;
7 months ago wenzelm 2018-09-07 merged
7 months ago wenzelm 2018-09-07 proper tast_context (amending 5f44ad150ed8);
7 months ago wenzelm 2018-09-07 clarified error progress and error_rc;
7 months ago wenzelm 2018-09-07 tuned signature;
7 months ago wenzelm 2018-09-07 clarified rc;
7 months ago wenzelm 2018-09-07 tuned signature;
7 months ago wenzelm 2018-09-07 dump aspects asynchronously;
7 months ago wenzelm 2018-09-07 record status of already committed nodes; tuned signature;
7 months ago wenzelm 2018-09-07 tuned;
7 months ago wenzelm 2018-09-07 tuned signature;
7 months ago wenzelm 2018-09-07 tuned;