13 months ago wenzelm 2018-09-22 obsolete (see aec64b88e708);
13 months ago wenzelm 2018-09-22 proper return code for runtime failure;
13 months ago wenzelm 2018-09-22 clarified errors: no result from forced session.stop, check pending theories;
13 months ago paulson 2018-09-21 merged
13 months ago paulson 2018-09-21 more on product (function) topologies
13 months ago wenzelm 2018-09-21 clarified locale content: proper args with types for interpretation/axioms and typargs derived from the result;
13 months ago wenzelm 2018-09-21 clarified error;
13 months ago wenzelm 2018-09-21 clarified errors;
13 months ago wenzelm 2018-09-21 suppress some theories to allow "isabelle dump -o skip_proofs";
13 months ago wenzelm 2018-09-21 tuned signature;
13 months ago wenzelm 2018-09-20 merged
13 months ago wenzelm 2018-09-20 clarified standardization of variables, with proper treatment of local variables; tuned signature; tuned;
13 months ago paulson 2018-09-20 removal of more redundancies, and fixes
13 months ago paulson 2018-09-20 merged
13 months ago paulson 2018-09-20 elimination of near duplication involving Rolle's theorem and the MVT
13 months ago wenzelm 2018-09-19 export semi-unfolded locale axioms;
13 months ago wenzelm 2018-09-19 tuned;
13 months ago wenzelm 2018-09-19 clarified signature;
13 months ago wenzelm 2018-09-19 tuned signature;
14 months ago wenzelm 2018-09-18 more generous timeout: avoid sporadic failure in highly parallel headless PIDE session;
14 months ago wenzelm 2018-09-18 tuned signature;
14 months ago wenzelm 2018-09-18 tuned signature;
14 months ago wenzelm 2018-09-18 clarified modules;
14 months ago wenzelm 2018-09-17 merged
14 months ago wenzelm 2018-09-17 tuned message;
14 months ago wenzelm 2018-09-17 tuned message;
14 months ago wenzelm 2018-09-17 more detailed session dependencies, with conditions for theories;
14 months ago wenzelm 2018-09-17 clarified signature;
14 months ago nipkow 2018-09-17 merged
14 months ago nipkow 2018-09-17 added insertion sort with keys
14 months ago paulson 2018-09-17 Set idioms theory "finite intersection_of open", etc.
14 months ago wenzelm 2018-09-16 export plain infix syntax;
14 months ago wenzelm 2018-09-16 unused;
14 months ago paulson 2018-09-16 merged
14 months ago paulson 2018-09-16 more lemmas
14 months ago nipkow 2018-09-16 tuned
14 months ago nipkow 2018-09-16 more traditional formulation
14 months ago wenzelm 2018-09-15 more exports;
14 months ago wenzelm 2018-09-15 updated to Ubuntu 18.04;
14 months ago wenzelm 2018-09-14 merged
14 months ago wenzelm 2018-09-13 tuned;
14 months ago nipkow 2018-09-14 added quicksort
14 months ago nipkow 2018-09-14 tuned
14 months ago wenzelm 2018-09-13 more robust: avoid race condition wrt. cleanup of ML process, e.g. relevant for "$ISABELLE_TMP/rat.ML" in theory Codegen.Further;
14 months ago nipkow 2018-09-13 removed redundant lemma
14 months ago nipkow 2018-09-13 merged
14 months ago nipkow 2018-09-13 more simp lemmas
14 months ago wenzelm 2018-09-13 tuned signature;
14 months ago wenzelm 2018-09-13 tuned message;
14 months ago nipkow 2018-09-13 prefer explicit
14 months ago nipkow 2018-09-13 merged
14 months ago nipkow 2018-09-13 typo
14 months ago wenzelm 2018-09-12 merged
14 months ago wenzelm 2018-09-12 tuned signature;
14 months ago nipkow 2018-09-12 added spaces because otherwise nonatomic arguments look awful: BIGf x -> BIG f x
14 months ago paulson 2018-09-12 merged
14 months ago paulson 2018-09-12 merged
14 months ago paulson 2018-09-12 tiny cleanup
14 months ago paulson 2018-09-11 merged
14 months ago paulson 2018-09-11 A few new results, elimination of duplicates and more use of "pairwise"