2016-05-26 haftmann 2016-05-26 clarified naming conventions and code for code evaluation sandwiches
2016-05-26 haftmann 2016-05-26 clarified names of variants
2016-05-26 nipkow 2016-05-26 added function "prefixes" and some lemmas
2016-05-25 paulson 2016-05-25 Merge
2016-05-25 paulson 2016-05-25 Merge
2016-05-25 paulson 2016-05-25 moved two theorems
2016-05-25 paulson 2016-05-25 updated proof of Residue Theorem (form Wenda Li)
2016-05-25 nipkow 2016-05-25 merged
2016-05-25 nipkow 2016-05-25 renamed suffix(eq)
2016-05-25 wenzelm 2016-05-25 updated 'define';
2016-05-25 wenzelm 2016-05-25 merged
2016-05-25 wenzelm 2016-05-25 isabelle update_cartouches -c -t;
2016-05-25 wenzelm 2016-05-25 isabelle update_cartouches -c -t;
2016-05-25 eberlm 2016-05-25 NEWS: Permutations of a set and randomised folds
2016-05-24 Lars Hupel 2016-05-24 new Isabelle component for CI infastructure
2016-05-24 wenzelm 2016-05-24 merged
2016-05-24 wenzelm 2016-05-24 recovered printing of DIM('a) (cf. 899c9c4e4a4c);
2016-05-24 wenzelm 2016-05-24 updated;
2016-05-24 wenzelm 2016-05-24 simplified syntax;
2016-05-24 wenzelm 2016-05-24 clarified syntax category names according to Isabelle/ML/Scala;
2016-05-24 wenzelm 2016-05-24 simplified syntax: Parse.term corresponds to Args.term etc.;
2016-05-24 wenzelm 2016-05-24 clarified syntax categories;
2016-05-24 wenzelm 2016-05-24 cartouche abbreviations work both for " as well;
2016-05-24 eberlm 2016-05-24 Removed problematic code equation for set_permutations
2016-05-24 eberlm 2016-05-24 Backed out changeset 8230358fab88
2016-05-24 eberlm 2016-05-24 Deleted problematic code equation in Codegenerator_Test
2016-05-24 paulson 2016-05-24 Merge
2016-05-24 paulson 2016-05-24 New theory for Homeomorphisms
2016-05-24 paulson 2016-05-24 Merge
2016-05-24 paulson 2016-05-24 renamings and new material
2016-05-24 paulson 2016-05-24 new theorem
2016-05-23 paulson 2016-05-23 deleted stray thm command
2016-05-23 paulson 2016-05-23 deleted needless comment
2016-05-24 eberlm 2016-05-24 Resolved cyclic dependency of theories
2016-05-24 eberlm 2016-05-24 Merged
2016-05-24 eberlm 2016-05-24 Added set permutations/random permutations
2016-05-24 wenzelm 2016-05-24 merged
2016-05-23 wenzelm 2016-05-23 embedded content may be delimited via cartouches;
2016-05-23 wenzelm 2016-05-23 tuned;
2016-05-23 nipkow 2016-05-23 merged
2016-05-23 nipkow 2016-05-23 renamed prefix* in Library/Sublist
2016-05-23 blanchet 2016-05-23 generate Vampire 4.0 compatible output
2016-05-23 paulson 2016-05-23 Merge
2016-05-23 paulson 2016-05-23 Lots of new material for multivariate analysis
2016-05-23 wenzelm 2016-05-23 removed odd cases rule (see also 8cb42cd97579);
2016-05-23 wenzelm 2016-05-23 tuned proofs;
2016-05-23 wenzelm 2016-05-23 tuned document;
2016-05-23 wenzelm 2016-05-23 misc tuning and modernization;
2016-05-23 wenzelm 2016-05-23 proper document source; tuned proofs;
2016-05-23 wenzelm 2016-05-23 misc tuning and modernization;
2016-05-21 nipkow 2016-05-21 merged
2016-05-21 nipkow 2016-05-21 added timing lemmas
2016-05-20 immler 2016-05-20 uniformly continuous function extended continuously on closure
2016-05-20 immler 2016-05-20 reduce isUCont to uniformly_continuous_on
2016-05-20 immler 2016-05-20 removed smt proof
2016-05-20 fleury 2016-05-20 better handling of veriT's 'unknown' status
2016-05-18 Manuel Eberl 2016-05-18 Resolved name clash
2016-05-17 eberlm 2016-05-17 Merged
2016-05-17 eberlm 2016-05-17 Moved material from AFP/Randomised_Social_Choice to distribution
2016-05-17 hoelzl 2016-05-17 Library: add partition_on