20 months ago wenzelm 2017-10-11 tuned;
20 months ago wenzelm 2017-10-11 added isablle build option -f;
20 months ago haftmann 2017-10-09 canonical multiplicative euclidean size
20 months ago haftmann 2017-10-09 clarified parity
20 months ago haftmann 2017-10-09 clarified uniqueness criterion for euclidean rings
20 months ago haftmann 2017-10-09 tuned proofs
20 months ago haftmann 2017-10-09 tuned imports
20 months ago paulson 2017-10-10 fixed markup
20 months ago wenzelm 2017-10-10 ignore isolated nodes by default;
20 months ago wenzelm 2017-10-10 merged
20 months ago wenzelm 2017-10-10 cycle check with informative error;
20 months ago wenzelm 2017-10-10 tuned: each session has at most one defining entry;
20 months ago wenzelm 2017-10-10 more operations;
20 months ago wenzelm 2017-10-10 tuned signature;
20 months ago wenzelm 2017-10-10 tuned signature;
20 months ago paulson 2017-10-10 Divided Topology_Euclidean_Space in two, creating new theory Connected. Also deleted some duplicate / variant theorems
20 months ago paulson 2017-10-10 Session HOL-Analysis: Moebius functions and the Riemann mapping theorem.
20 months ago wenzelm 2017-10-09 merged
20 months ago wenzelm 2017-10-09 tuned: less oo-non-sense;
20 months ago wenzelm 2017-10-09 operations for graph display;
20 months ago wenzelm 2017-10-09 tuned signature;
20 months ago wenzelm 2017-10-09 dependencies of entries vs. sessions; json output like "isabelle afp_dependencies"; misc tuning;
20 months ago wenzelm 2017-10-09 some administrative support for AFP;
20 months ago wenzelm 2017-10-09 tuned;
20 months ago wenzelm 2017-10-09 clarified signature: public access to ROOT file syntax;
20 months ago haftmann 2017-10-08 euclidean rings need no normalization
20 months ago haftmann 2017-10-08 more fundamental definition of div and mod on int
20 months ago haftmann 2017-10-08 one uniform type class for parity structures
20 months ago haftmann 2017-10-08 generalized some rules
20 months ago haftmann 2017-10-08 avoid variant of mk_sum
20 months ago haftmann 2017-10-08 adjusted implementation according to comment
20 months ago haftmann 2017-10-08 dropped duplicates
20 months ago haftmann 2017-10-08 generalized simproc
20 months ago haftmann 2017-10-08 replaced recdef were easy to replace
20 months ago haftmann 2017-10-08 elementary definition of division on natural numbers
20 months ago haftmann 2017-10-08 tuned structure
20 months ago haftmann 2017-10-08 abolished (semi)ring_div in favour of euclidean_(semi)ring_cancel
20 months ago haftmann 2017-10-08 Polynomial_Factorial does not depend on Field_as_Ring as such
20 months ago haftmann 2017-10-08 avoid name clashes on interpretation of abstract locales
20 months ago haftmann 2017-10-08 avoid trivial definition
20 months ago haftmann 2017-10-08 canonical introduction and destruction rules for pairwise
20 months ago haftmann 2017-10-08 avoid fact name clashes
20 months ago haftmann 2017-10-08 spelling and tuned whitespace
20 months ago haftmann 2017-10-08 tuned
20 months ago haftmann 2017-10-08 fundamental property of division by units
20 months ago haftmann 2017-10-08 removed mere toy example from library
20 months ago haftmann 2017-10-08 tuned proofs
20 months ago haftmann 2017-10-08 dropped dead code
20 months ago paulson 2017-10-09 Fixed the theorem name "closed_imp_fip_compact"
20 months ago paulson 2017-10-09 new material about connectedness, etc.
20 months ago wenzelm 2017-10-08 more on Docker;
20 months ago wenzelm 2017-10-08 removed obsolete RC tags;
20 months ago wenzelm 2017-10-08 build_docker is regular tool (non-admin);
20 months ago wenzelm 2017-10-08 merged
20 months ago wenzelm 2017-10-08 Added tag Isabelle2017 for changeset 64b47495676d
20 months ago wenzelm 2017-10-04 obsolete; Isabelle2017
20 months ago wenzelm 2017-10-03 more NEWS;
20 months ago wenzelm 2017-10-03 updated for release;
20 months ago wenzelm 2017-10-08 merged
20 months ago wenzelm 2017-10-08 proper File.platform_path for SML/NJ on Windows;