2021-12-07 desharna fixed TPTP generation of multi-arity expressions
2021-11-29 desharna proper handling of Hilbert choice in TFX logics
2021-11-28 desharna proper tptp_builtins
2021-11-28 desharna reused Sledgehammer code to parse parameters of sledgehammer action in Mirabelle
2021-11-21 desharna proper proxy for Hilbert choice in TPTP output
2021-11-19 desharna proper polymorphism for TH1 format in Sledgehammer
2021-11-19 desharna refactored $ite and $let configuration and added dummy_thf_reduced prover
2021-11-17 desharna tuned TPTP file names generated by Sledgehammer
2021-11-17 desharna tuned SMT-Lib file names generated by Mirabelle
2021-11-17 desharna added support for higher-order SMT proof search in Sledgehammer
2021-11-11 desharna separated FOOL from $ite/$let in TPTP output
2021-12-09 nipkow missing latex font
2021-12-09 nipkow Rewrite: added links to docu, made more prominent
2021-12-06 wenzelm discontinued old-style {* verbatim *} tokens;
2021-12-06 wenzelm tuned proof;
2021-12-06 wenzelm isabelle update_cartouches;
2021-12-05 wenzelm more symbolic latex_output via XML (using YXML within text);
2021-12-05 wenzelm tuned signature: remove unused;
2021-12-05 wenzelm prefer symbolic Latex.environment (typeset in Isabelle/Scala);
2021-12-05 wenzelm tuned signature;
2021-12-05 wenzelm clarified corner cases of syntax;
2021-12-05 wenzelm clarified Parse.embedded_ml: follow documentation (8baf2e8b16e2);
2021-12-04 paulson a slightly simpler proof
2021-12-04 wenzelm provide component naproche-2d99afe5c349;
2021-12-04 wenzelm merged
2021-12-04 wenzelm Added tag Isabelle2021-1-RC5 for changeset 8baf2e8b16e2
2021-12-03 wenzelm more documentation about Type/Const antiquotations;
2021-12-03 wenzelm more documentation about document build options;
2021-12-03 wenzelm address problems with launch4j and jdk-17 (see also 41d009462d3c, copy of 41d009462d3c);
2021-12-02 wenzelm tuned --- fewer IDE warnings;
2021-11-30 wenzelm more robust physical timeout (despite 1bea05713dde), especially relevant for quickcheck where large unary numerals may cause excessive heap allocations and resulting GC is better included in the timing;
2021-11-28 desharna added definitions multp{DM,HO} and corresponding lemmas
2021-11-28 desharna added wfP_less to wellorder and wfP_less_multiset
2021-11-28 desharna restored lemmas less_multiset{DM,HO} inadvertently changed by c256bba593f3
2021-11-27 desharna merged
2021-11-27 desharna added lemmas irreflp_{less,greater} to preorder and {trans,irrefl}_mult{,p} to Multiset
2021-11-27 desharna redefined less_multiset to be based on multp
2021-11-27 desharna added lemmas multp_code_eq_multp and multeqp_code_eq_reflclp_multp
2021-11-27 desharna added lemmas multp_cancel, multp_cancel_add_mset, and multp_cancel_max
2021-11-27 desharna added lemmas multp_implies_one_step, one_step_implies_multp, and subset_implies_multp
2021-11-27 desharna added lemma wfP_multp
2021-11-27 desharna added lemma mono_multp
2021-11-26 desharna added Multiset.multp as predicate equivalent of Multiset.mult
2021-11-27 wenzelm address problems with launch4j and jdk-17 (see also 41d009462d3c);
2021-11-27 wenzelm more robust build on midrange hardware;
2021-11-27 wenzelm clarified tests: omit somewhat pointless (unstable) results;
2021-11-27 wenzelm proper fields for gnuplot (amending b614e3e4146a);
2021-11-27 wenzelm tuned output;
2021-11-27 wenzelm tuned;
2021-11-26 wenzelm merged
2021-11-26 wenzelm more robust build on midrange hardware (despite 67d6f1708ea4);
2021-11-26 wenzelm Added tag Isabelle2021-1-RC4 for changeset 2336356d4180
2021-11-26 wenzelm updated to polyml-5.9;
2021-11-26 wenzelm NEWS on "isabelle mirabelle";
2021-11-26 wenzelm tuned;
2021-11-25 wenzelm clarified default for kodkod_scala;
2021-11-25 wenzelm maintain option kodkod_scala within theory context, to allow local modification;
2021-11-25 wenzelm NEWS for proper release;
2021-11-25 wenzelm updated to flatlaf-1.6.4;
2021-11-25 wenzelm avoid broken links: auxiliary files are not yet supported;
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip