2013-09-16 wenzelm 2013-09-16 updated to cygwin-20130916;
2013-09-16 wenzelm 2013-09-16 more CHECKLIST;
2013-09-16 wenzelm 2013-09-16 updated cygwin snapshot;
2013-09-16 wenzelm 2013-09-16 updated to smlnj 110.76;
2013-09-16 wenzelm 2013-09-16 prefer high-level ML_System.share_common_data, ML_System.save_state -- except for bootstrap images (RAW, Pure);
2013-09-16 wenzelm 2013-09-16 more NEWS;
2013-09-16 panny 2013-09-16 merge
2013-09-16 panny 2013-09-16 prove simp theorems for newly generated definitions
2013-09-16 kuncar 2013-09-16 example using restoring Transfer/Lifting context
2013-09-16 kuncar 2013-09-16 use lifting_forget for deregistering numeric types as a quotient type
2013-09-16 kuncar 2013-09-16 restoring Transfer/Lifting context
2013-09-16 kuncar 2013-09-16 make ML function for deleting quotients public
2013-09-16 kuncar 2013-09-16 public access to the raw transfer rules - for restoring transferring
2013-09-16 wenzelm 2013-09-16 another move to avoid sporadic kill of poly, which is presumably due to resource management on lxbroy2, lxbroy3 etc.;
2013-09-16 blanchet 2013-09-16 more (co)data docs
2013-09-15 blanchet 2013-09-15 more (co)data docs
2013-09-15 blanchet 2013-09-15 added missing theorems to "simps" collection
2013-09-15 blanchet 2013-09-15 more (co)data docs
2013-09-15 blanchet 2013-09-15 more (co)data docs
2013-09-15 blanchet 2013-09-15 more (co)data docs
2013-09-14 wenzelm 2013-09-14 merged
2013-09-14 wenzelm 2013-09-14 tuned proofs;
2013-09-14 wenzelm 2013-09-14 tuned magic number, for improved reactivity on old 2-core machine;
2013-09-14 wenzelm 2013-09-14 tuned proofs;
2013-09-14 krauss 2013-09-14 updated keywords
2013-09-14 haftmann 2013-09-14 tuned proof
2013-09-14 wenzelm 2013-09-14 merged
2013-09-14 wenzelm 2013-09-14 tuned proofs;
2013-09-14 kleing 2013-09-14 print find_thms result in reverse order so best result is on top
2013-09-14 kleing 2013-09-14 more useful sorting of find_thms results
2013-09-13 wenzelm 2013-09-13 proper sharing after change of directory structure (cf. 32ec957e5c3e); result is structurally equal, despite change of hash key;
2013-09-13 wenzelm 2013-09-13 restricted heap, which might improve stability of this test;
2013-09-13 wenzelm 2013-09-13 merged
2013-09-13 wenzelm 2013-09-13 tuned proofs;
2013-09-13 wenzelm 2013-09-13 tuned proofs;
2013-09-13 wenzelm 2013-09-13 updated to jdk-7u40;
2013-09-13 wenzelm 2013-09-13 added component jdk-7u40.tar.gz (inactive);
2013-09-13 blanchet 2013-09-13 merged
2013-09-13 blanchet 2013-09-13 more (co)data docs
2013-09-13 blanchet 2013-09-13 tuning
2013-09-13 blanchet 2013-09-13 more (co)data doc
2013-09-13 huffman 2013-09-13 generalized and simplified proofs of several theorems about convex sets
2013-09-13 blanchet 2013-09-13 more (co)data docs
2013-09-13 blanchet 2013-09-13 removed accidentally submitted line
2013-09-13 blanchet 2013-09-13 more (co)data doc
2013-08-20 Christian Sternagel 2013-08-20 more general typing of monadic bind
2013-09-13 krauss 2013-09-13 merged
2013-09-12 krauss 2013-09-12 omit automatic Induct.cases_pred declaration, which breaks many existing proofs
2013-09-10 krauss 2013-09-10 NEWS and CONTRIBUTORS
2013-09-10 krauss 2013-09-10 merged
2013-09-10 krauss 2013-09-10 added some examples and tests for fun_cases
2013-09-09 krauss 2013-09-09 dropped unnecessary 'open'
2013-09-09 krauss 2013-09-09 tuned headers
2013-09-09 krauss 2013-09-09 moved cases post-processing under mk_partial_rules_mutual, using existing bookkeeping information; normalized whitespace and indentation
2013-09-08 krauss 2013-09-08 clarified
2013-09-08 krauss 2013-09-08 clarified, dropping unreachable bool special case
2013-09-08 krauss 2013-09-08 dropped dead code
2013-09-08 krauss 2013-09-08 clarified
2013-09-08 Manuel Eberl 2013-09-08 generate elim rules for elimination of function equalities; added fun_cases command; recover proper cases rules for mutual recursive case (no sum types)
2013-09-13 haftmann 2013-09-13 tuned proofs