NEWS
Sat, 01 Oct 2016 17:16:35 +0200 wenzelm clarified lfp/gfp statements and proofs;
Sat, 01 Oct 2016 12:03:27 +0200 wenzelm misc tuning for release;
Fri, 30 Sep 2016 14:05:51 +0100 paulson new material on paths, etc. Also rationalisation
Thu, 29 Sep 2016 20:54:45 +0200 boehmes NEWS: new proof method "argo"
Mon, 26 Sep 2016 07:56:54 +0200 haftmann syntactic type class for operation mod named after mod;
Mon, 26 Sep 2016 07:56:53 +0200 haftmann spelling
Thu, 22 Sep 2016 11:25:27 +0200 wenzelm discontinued raw symbols;
Thu, 22 Sep 2016 00:12:17 +0200 wenzelm raw control symbols are superseded by Latex.embed_raw;
Wed, 21 Sep 2016 22:43:06 +0200 wenzelm more general mixfix delimiters;
Tue, 20 Sep 2016 14:51:58 +0200 eberlm NEWS: Normalized_Fraction.thy
Mon, 19 Sep 2016 23:14:34 +0200 kuncar resolve the name clash of HOL/Library/FSet and HOL/Quotient_Examples/FSet
Mon, 19 Sep 2016 20:07:39 +0200 fleury # after multiset intersection and union symbol
Mon, 19 Sep 2016 20:06:21 +0200 fleury left_distrib ~> distrib_right, right_distrib ~> distrib_left
Mon, 19 Sep 2016 12:53:30 +0200 wenzelm tuned;
Sun, 18 Sep 2016 15:16:42 +0200 wenzelm clarified notation;
Fri, 16 Sep 2016 16:33:24 +0200 traytel NEWS
Thu, 15 Sep 2016 11:48:20 +0200 nipkow renamed listsum -> sum_list, listprod ~> prod_list
Wed, 14 Sep 2016 20:57:43 +0200 wenzelm NEWS;
Wed, 14 Sep 2016 14:37:38 +0200 wenzelm discontinued global etc/abbrevs;
Mon, 12 Sep 2016 17:32:09 +0200 blanchet NEWS
Fri, 09 Sep 2016 15:12:40 +0200 nipkow msetsum -> set_mset, msetprod -> prod_mset
Thu, 08 Sep 2016 18:18:57 +0200 wenzelm option "checkpoint" helps to fine-tune global heap space management;
Wed, 07 Sep 2016 22:28:30 +0200 wenzelm unfold_abs_def is enabled by default;
Mon, 05 Sep 2016 23:39:15 +0200 wenzelm clarified obscure facts;
Mon, 05 Sep 2016 15:47:50 +0200 fleury tuning multisets; more interpretations
Mon, 05 Sep 2016 15:47:50 +0200 fleury add_mset constructor in multisets
Mon, 05 Sep 2016 10:48:06 +0200 blanchet added warning
Thu, 01 Sep 2016 16:12:55 +0200 wenzelm NEWS;
Sun, 14 Aug 2016 12:26:09 +0200 blanchet updated NEWS
Fri, 12 Aug 2016 14:19:27 +0200 wenzelm uniform ML and document antiquotations;
Thu, 11 Aug 2016 18:26:44 +0200 wenzelm clarified antiquotations;
Thu, 11 Aug 2016 07:36:58 +0200 nipkow tuned
Wed, 10 Aug 2016 15:42:52 +0200 nipkow "split add" -> "split".
Tue, 09 Aug 2016 12:30:31 +0200 eberlm Tuned primes
Mon, 08 Aug 2016 14:13:14 +0200 hoelzl rename HOL-Multivariate_Analysis to HOL-Analysis.
Sat, 06 Aug 2016 18:14:59 +0200 wenzelm more informative 'prf' and 'full_prf', based on HOL/Proofs/ex/XML_Data.thy;
Fri, 05 Aug 2016 16:30:53 +0200 wenzelm Sidekick parser for isabelle-ml and sml mode;
Thu, 04 Aug 2016 21:25:16 +0200 wenzelm NEWS;
Wed, 03 Aug 2016 11:45:09 +0200 wenzelm include 'begin' and 'end' structure in text folds;
Tue, 02 Aug 2016 18:11:17 +0200 wenzelm tuned;
Tue, 02 Aug 2016 17:35:18 +0200 wenzelm support 'abbrevs' within theory header;
Fri, 29 Jul 2016 08:22:59 +0200 fleury more instantiations for multiset
Sun, 24 Jul 2016 16:48:39 +0200 haftmann text antiquotation for locales (similar to classes)
Wed, 27 Jul 2016 10:44:22 +0200 Manuel Eberl NEWS: Primes
Thu, 21 Jul 2016 10:52:27 +0200 wenzelm merged
Wed, 20 Jul 2016 22:36:10 +0200 wenzelm provide Pure.simp/simp_all, which only know about meta-equality;
Wed, 20 Jul 2016 16:02:00 +0200 wenzelm completion templates for commands involving "begin ... end" blocks;
Wed, 20 Jul 2016 11:44:11 +0200 wenzelm moved method "use" to Pure;
Wed, 20 Jul 2016 14:52:09 +0200 fleury more instantiations for multiset
Wed, 20 Jul 2016 13:51:38 +0200 fleury adding mset_map to the simp rules
Sat, 16 Jul 2016 00:38:33 +0200 wenzelm information about proof outline with cases (sendback);
Wed, 13 Jul 2016 15:19:16 +0200 wenzelm semantic indentation for unstructured proof scripts;
Tue, 12 Jul 2016 16:04:19 +0200 wenzelm merged
Tue, 12 Jul 2016 14:53:47 +0200 wenzelm NEWS;
Tue, 12 Jul 2016 13:55:35 +0200 fleury sharing simp rules between ordered monoids and rings
Tue, 12 Jul 2016 11:51:05 +0200 wenzelm added action "isabelle.newline" (shortcut ENTER);
Mon, 11 Jul 2016 22:07:02 +0200 wenzelm merged
Mon, 11 Jul 2016 22:02:18 +0200 wenzelm NEWS;
Mon, 11 Jul 2016 21:02:26 +0200 haftmann NEWS
Fri, 08 Jul 2016 23:43:11 +0200 haftmann avoid to hide equality behind (output) abbreviation
less more (0) -1000 -300 -100 -60 tip