12 months ago wenzelm 2017-10-13 tuned whitespace;
12 months ago wenzelm 2017-10-13 support for AFP versions;
12 months ago wenzelm 2017-10-13 tuned signature;
12 months ago wenzelm 2017-10-13 tuned signature;
12 months ago wenzelm 2017-10-13 support for AFP versions;
12 months ago wenzelm 2017-10-13 tuned;
12 months ago nipkow 2017-10-13 added lemmas, tuned spaces
12 months ago wenzelm 2017-10-12 entries_graph requires acyclic graph, but lazy val allows forming the AFP object nonetheless;
12 months ago wenzelm 2017-10-12 more informative Imports.Report with actual session imports (minimized);
12 months ago wenzelm 2017-10-12 more robust: allow URLs;
12 months ago wenzelm 2017-10-12 more robust: allow Windows file names;
12 months ago wenzelm 2017-10-12 clarified signature;
12 months ago nipkow 2017-10-12 relaxed assm
12 months ago wenzelm 2017-10-11 back to build_polyml_component according to 54c6ec4166a4 (amending 808e6ddb5a50);
12 months ago wenzelm 2017-10-11 reactivated unfinished tool (cf. a3a847c4fbdb);
12 months ago wenzelm 2017-10-11 tuned whitespace;
12 months ago wenzelm 2017-10-11 clarified meta_digest;
12 months ago wenzelm 2017-10-11 tuned;
12 months ago wenzelm 2017-10-11 added isablle build option -f;
12 months ago haftmann 2017-10-09 canonical multiplicative euclidean size
12 months ago haftmann 2017-10-09 clarified parity
12 months ago haftmann 2017-10-09 clarified uniqueness criterion for euclidean rings
12 months ago haftmann 2017-10-09 tuned proofs
12 months ago haftmann 2017-10-09 tuned imports
12 months ago paulson 2017-10-10 fixed markup
12 months ago wenzelm 2017-10-10 ignore isolated nodes by default;
12 months ago wenzelm 2017-10-10 merged
12 months ago wenzelm 2017-10-10 cycle check with informative error;
12 months ago wenzelm 2017-10-10 tuned: each session has at most one defining entry;
12 months ago wenzelm 2017-10-10 more operations;
12 months ago wenzelm 2017-10-10 tuned signature;
12 months ago wenzelm 2017-10-10 tuned signature;
12 months ago paulson 2017-10-10 Divided Topology_Euclidean_Space in two, creating new theory Connected. Also deleted some duplicate / variant theorems
12 months ago paulson 2017-10-10 Session HOL-Analysis: Moebius functions and the Riemann mapping theorem.
12 months ago wenzelm 2017-10-09 merged
12 months ago wenzelm 2017-10-09 tuned: less oo-non-sense;
12 months ago wenzelm 2017-10-09 operations for graph display;
12 months ago wenzelm 2017-10-09 tuned signature;
12 months ago wenzelm 2017-10-09 dependencies of entries vs. sessions; json output like "isabelle afp_dependencies"; misc tuning;
12 months ago wenzelm 2017-10-09 some administrative support for AFP;
12 months ago wenzelm 2017-10-09 tuned;
12 months ago wenzelm 2017-10-09 clarified signature: public access to ROOT file syntax;
12 months ago haftmann 2017-10-08 euclidean rings need no normalization
12 months ago haftmann 2017-10-08 more fundamental definition of div and mod on int
12 months ago haftmann 2017-10-08 one uniform type class for parity structures
12 months ago haftmann 2017-10-08 generalized some rules
12 months ago haftmann 2017-10-08 avoid variant of mk_sum
12 months ago haftmann 2017-10-08 adjusted implementation according to comment
12 months ago haftmann 2017-10-08 dropped duplicates
12 months ago haftmann 2017-10-08 generalized simproc
12 months ago haftmann 2017-10-08 replaced recdef were easy to replace
12 months ago haftmann 2017-10-08 elementary definition of division on natural numbers
12 months ago haftmann 2017-10-08 tuned structure
12 months ago haftmann 2017-10-08 abolished (semi)ring_div in favour of euclidean_(semi)ring_cancel
12 months ago haftmann 2017-10-08 Polynomial_Factorial does not depend on Field_as_Ring as such
12 months ago haftmann 2017-10-08 avoid name clashes on interpretation of abstract locales
12 months ago haftmann 2017-10-08 avoid trivial definition
12 months ago haftmann 2017-10-08 canonical introduction and destruction rules for pairwise
12 months ago haftmann 2017-10-08 avoid fact name clashes
12 months ago haftmann 2017-10-08 spelling and tuned whitespace