12 months ago wenzelm 2018-08-04 recovered HOL-Proofs-Lambda from 8aedca31957d: avoid problems with program extraction according to d136af442665;
12 months ago wenzelm 2018-08-04 more Pure theory content;
12 months ago eberlm 2018-08-04 Small lemmas about analysis
12 months ago paulson 2018-08-04 merged
12 months ago paulson 2018-08-04 de-applying
12 months ago wenzelm 2018-08-03 tuned output;
12 months ago wenzelm 2018-08-03 tuned signature -- removed somewhat pointless operation;
12 months ago wenzelm 2018-08-03 more operations;
12 months ago wenzelm 2018-08-03 more operations (as in ML);
12 months ago wenzelm 2018-08-03 more explicit entity kind;
12 months ago wenzelm 2018-08-03 Pure theory content;
12 months ago wenzelm 2018-08-02 tuned signature: more operations;
12 months ago wenzelm 2018-08-02 tuned signature;
12 months ago wenzelm 2018-08-02 always export Pure theory;
12 months ago paulson 2018-08-01 de-applying
12 months ago paulson 2018-07-31 de-applying
12 months ago paulson 2018-07-29 de-applying and removal of obsolete aliases
12 months ago wenzelm 2018-07-29 merged
12 months ago wenzelm 2018-07-29 Added tag Isabelle2018-RC3 for changeset 71aa5a9128c2
12 months ago wenzelm 2018-07-28 proper return code (true) if file is absent;
12 months ago wenzelm 2018-07-28 clarified word syntax for the sake of control symbols, e.g. \<^term>;
12 months ago wenzelm 2018-07-28 updated to Poly/ML fixes-5.7.1 b3d1ff33a4b4;
12 months ago wenzelm 2018-07-28 more robust: do not defer potentially slow/big lazy facts to the very end;
12 months ago wenzelm 2018-07-28 more robust: potentially a workaround for spurious HOL build problems seen by Larry Paulson;
12 months ago wenzelm 2018-07-28 tuned;
12 months ago wenzelm 2018-07-28 eliminated non-monotomnic Lazy.is_pending: Result may return to Expr due to Interrupt;
12 months ago wenzelm 2018-07-28 unused;
12 months ago wenzelm 2018-07-27 removed junk;
12 months ago wenzelm 2018-07-27 clarified documentation;
12 months ago wenzelm 2018-07-27 added check_delay / check_limit for more robust treatment of structurally broken theory sources (or genuine non-termination);
12 months ago wenzelm 2018-07-27 proper adjust_maxidx: assms could have maxidx >= 0, e.g. from command "subgoal premises";
12 months ago wenzelm 2018-07-27 proper maxidx: if x does not occur in A, its maxidx could get lost;
12 months ago wenzelm 2018-07-27 tuned;
12 months ago wenzelm 2018-07-26 more flexible session selection as in "isabelle jedit";
13 months ago wenzelm 2018-07-25 updated to jdk-8u181;
12 months ago paulson 2018-07-28 merged
12 months ago paulson 2018-07-28 de-applying and simplification
12 months ago Lars Hupel 2018-07-28 datatype_record produces simp theorems; contributed in part by Yu Zhang
13 months ago wenzelm 2018-07-25 updated to jdk-8u181;
13 months ago paulson 2018-07-25 de-applying
13 months ago wenzelm 2018-07-22 back to post-release mode -- after fork point;
13 months ago wenzelm 2018-07-22 Added tag Isabelle2018-RC2 for changeset 14167c321d22
13 months ago wenzelm 2018-07-22 tuned;
13 months ago wenzelm 2018-07-22 eliminated spurious Unicode;
13 months ago wenzelm 2018-07-22 merged
13 months ago wenzelm 2018-07-22 updated to kodkodi-1.5.2-1: modernized settings and renamed directory (same executables);
13 months ago eberlm 2018-07-22 Moved Real_Asymp manual
13 months ago wenzelm 2018-07-22 merged
13 months ago wenzelm 2018-07-22 updated to polyml-5.7.1-7 (see also afa7c5a239e6);
13 months ago paulson 2018-07-22 merged
13 months ago paulson 2018-07-22 de-applying
13 months ago wenzelm 2018-07-22 avoid Unicode conflict with \<pounds>;
13 months ago paulson 2018-07-21 fixing a theorem statement, etc.
13 months ago paulson 2018-07-21 merged
13 months ago paulson 2018-07-21 de-applying and removing junk
13 months ago blanchet 2018-07-20 don't lose facts that were introduced to deal with a theory or some preprocessing in the prover (e.g. the definition of 'abs' in an SMT proof)
13 months ago Andreas Lochbihler 2018-07-20 add lemmas about prod_filter
13 months ago paulson 2018-07-20 merged
13 months ago paulson 2018-07-20 corrections to markup
13 months ago paulson 2018-07-19 updated material concerning Algebra