2016-02-18 wenzelm merged
2016-02-18 wenzelm unconditional Multithreading;
2016-02-18 haftmann NEWS concerning 66a381d3f88f
2016-02-17 wenzelm merged
2016-02-17 wenzelm tuned;
2016-02-17 wenzelm clarified file names;
2016-02-17 wenzelm SML/NJ is no longer supported;
2016-02-17 haftmann dropped various legacy fact bindings and tuned proofs
2016-02-17 haftmann separated potentially conflicting type class instance into separate theory
2016-02-17 haftmann gcd instances for poly
2016-02-17 haftmann more sophisticated GCD syntax
2016-02-17 haftmann cleansed junk-producing interpretations for gcd/lcm on nat altogether
2016-02-17 haftmann dropped various legacy fact bindings
2016-02-17 haftmann generalized some lemmas;
2016-02-17 haftmann more theorems concerning gcd/lcm/Gcd/Lcm
2016-02-17 haftmann further generalization and polishing
2016-02-17 haftmann pulled out legacy aliasses and infamous dvd interpretations into theory appendix
2016-02-17 haftmann prefer abbreviations for compound operators INFIMUM and SUPREMUM
2016-02-17 haftmann consolidated name
2016-02-17 wenzelm merged
2016-02-17 wenzelm removed obsolete RC tags;
2016-02-17 wenzelm merged
2016-02-17 wenzelm Added tag Isabelle2016 for changeset d3996d5873dd
2016-02-15 wenzelm proper syntax; Isabelle2016
2016-02-17 blanchet tuning
2016-02-17 blanchet making 'pred_inject' a first-class BNF citizen
2016-02-17 blanchet refactoring
2016-02-17 traytel adjust 112eefe85ff0 to 532ad8de5d61
2016-02-17 traytel NEWS
2016-02-17 traytel correct (apparently untested) e1698a9578ea
2016-02-17 traytel document predicator in datatypes
2016-02-17 traytel derive transfer rule for predicator
2016-02-17 traytel call the predicator of list list_all
2016-02-17 blanchet document new 'primrec' feature
2016-02-17 blanchet allow predicator instead of map function in 'primrec'
2016-02-16 traytel simp rules for fsts, snds, setl, setr
2016-02-16 traytel make predicator a first-class bnf citizen
2016-02-16 blanchet avoid duplicate theorems in 'primrec's result when invoked programmatically
2016-02-15 blanchet tuning
2016-02-15 blanchet keep 'ctor_iff_dtor' theorem around in BNF FP database
2016-02-15 blanchet tuning
2016-02-15 blanchet rephrased message
2016-02-15 blanchet clearer error message
2016-02-15 blanchet document a limitation of 'primcorec'
2016-02-15 blanchet use 'undefined' instead of 'Eps'
2016-02-14 wenzelm more explicit dummy proofs;
2016-02-14 wenzelm more explicit dummy proofs;
2016-02-14 wenzelm unused;
2016-02-14 wenzelm command '\<proof>' is an alias for 'sorry', with different typesetting;
2016-02-14 wenzelm more antiquotations;
2016-02-14 wenzelm more gentle termination (like Bash.multi_kill without signal) to give prover a chance to conclude;
2016-02-14 wenzelm tuned whitespace;
2016-02-14 wenzelm more careful quoting for the sake of Windows;
2016-02-14 wenzelm tuned;
2016-02-14 wenzelm tuned;
2016-02-14 wenzelm tuned signature;
(0) -30000 -10000 -3000 -1000 -300 -100 -56 +56 +100 +300 +1000 +3000 +10000 tip