21 months ago haftmann 2017-10-08 one uniform type class for parity structures
21 months ago haftmann 2017-10-08 generalized some rules
21 months ago haftmann 2017-10-08 avoid variant of mk_sum
21 months ago haftmann 2017-10-08 adjusted implementation according to comment
21 months ago haftmann 2017-10-08 dropped duplicates
21 months ago haftmann 2017-10-08 generalized simproc
21 months ago haftmann 2017-10-08 replaced recdef were easy to replace
21 months ago haftmann 2017-10-08 elementary definition of division on natural numbers
21 months ago haftmann 2017-10-08 tuned structure
21 months ago haftmann 2017-10-08 abolished (semi)ring_div in favour of euclidean_(semi)ring_cancel
21 months ago haftmann 2017-10-08 Polynomial_Factorial does not depend on Field_as_Ring as such
21 months ago haftmann 2017-10-08 avoid name clashes on interpretation of abstract locales
21 months ago haftmann 2017-10-08 avoid trivial definition
21 months ago haftmann 2017-10-08 canonical introduction and destruction rules for pairwise
21 months ago haftmann 2017-10-08 avoid fact name clashes
21 months ago haftmann 2017-10-08 spelling and tuned whitespace
21 months ago haftmann 2017-10-08 tuned
21 months ago haftmann 2017-10-08 fundamental property of division by units
21 months ago haftmann 2017-10-08 removed mere toy example from library
21 months ago haftmann 2017-10-08 tuned proofs
21 months ago haftmann 2017-10-08 dropped dead code
21 months ago paulson 2017-10-09 Fixed the theorem name "closed_imp_fip_compact"
21 months ago paulson 2017-10-09 new material about connectedness, etc.
21 months ago wenzelm 2017-10-08 more on Docker;
21 months ago wenzelm 2017-10-08 removed obsolete RC tags;
21 months ago wenzelm 2017-10-08 build_docker is regular tool (non-admin);
21 months ago wenzelm 2017-10-08 merged
21 months ago wenzelm 2017-10-08 Added tag Isabelle2017 for changeset 64b47495676d
21 months ago wenzelm 2017-10-04 obsolete; Isabelle2017
21 months ago wenzelm 2017-10-03 more NEWS;
21 months ago wenzelm 2017-10-03 updated for release;
21 months ago wenzelm 2017-10-08 merged
21 months ago wenzelm 2017-10-08 proper File.platform_path for SML/NJ on Windows;
21 months ago wenzelm 2017-10-08 clarified signature;
21 months ago wenzelm 2017-10-08 proper output of raw ML;
21 months ago wenzelm 2017-10-07 theory qualifier is always session name (see also 31e8a86971a8);
21 months ago wenzelm 2017-10-07 clarified session structure;
21 months ago wenzelm 2017-10-07 discontinued somewhat pointless session group: -g ZF may be replaced by -D ~~/src/ZF;
21 months ago wenzelm 2017-10-07 merged
21 months ago wenzelm 2017-10-07 clarified empty merge; tuned;
21 months ago wenzelm 2017-10-07 permissive loaded_theories (amending 67dbf5cdc056): user errors are produced e.g. in Known.make;
21 months ago wenzelm 2017-10-07 prefer native platform x86-windows, to make this work on x86_64-cygwin;
21 months ago wenzelm 2017-10-06 tuned signature;
21 months ago wenzelm 2017-10-06 even more robust syntax (amending 122df1fde073);
21 months ago wenzelm 2017-10-06 clarified error for bad session-qualified imports;
21 months ago wenzelm 2017-10-06 clarified node_syntax (amending ae38b8c0fdd9): default to overall_syntax, e.g. relevant for command spans wrt. bad header;
21 months ago wenzelm 2017-10-05 merged
21 months ago wenzelm 2017-10-05 completion supports theory header imports; tuned;
21 months ago wenzelm 2017-10-05 clarified modules;
21 months ago wenzelm 2017-10-05 tuned signature;
21 months ago paulson 2017-10-05 new theorem at_within_cbox_finite
21 months ago wenzelm 2017-10-04 process ROOT files only once, which allows duplicate (or overlapping) session root directories;
21 months ago wenzelm 2017-10-03 prefer Cygwin64, although some components still require update;
21 months ago wenzelm 2017-10-03 updated test version;
21 months ago wenzelm 2017-10-03 more recent polyml-test version;
21 months ago wenzelm 2017-10-02 misc tuning and modernization;
21 months ago wenzelm 2017-10-02 discontinued obsolete 'files' in session ROOT;
21 months ago wenzelm 2017-10-02 prefer file dependencies wrt. specific theories;
21 months ago wenzelm 2017-10-02 added command 'external_file';
21 months ago wenzelm 2017-10-02 proper document (cf. 9f5bfef8bd82);