src/HOL/Semiring_Normalization.thy
Fri, 14 Jun 2019 08:34:27 +0000 haftmann avoid spammed sledgehammer proofs
Sun, 06 Jan 2019 15:04:34 +0100 wenzelm isabelle update -u path_cartouches;
Fri, 04 Jan 2019 23:22:53 +0100 wenzelm isabelle update -u control_cartouches;
Mon, 09 Oct 2017 19:10:47 +0200 haftmann tuned imports
Thu, 10 Sep 2015 16:44:17 +0200 wenzelm more standard local_theory operations;
Sat, 18 Jul 2015 22:58:50 +0200 wenzelm isabelle update_cartouches;
Thu, 19 Feb 2015 11:53:36 +0100 haftmann establish unique preferred fact names
Wed, 18 Feb 2015 22:46:47 +0100 haftmann inlined rules to free user-space from technical names
Wed, 18 Feb 2015 22:46:47 +0100 haftmann explicit declaration allows cumulative declaration
Sun, 15 Feb 2015 17:01:22 +0100 haftmann deleted ineffective declarations
Sun, 15 Feb 2015 17:01:22 +0100 haftmann dropped unused rules
Sun, 15 Feb 2015 17:01:22 +0100 haftmann self-contained declaration attribute
Sun, 02 Nov 2014 18:21:45 +0100 wenzelm modernized header uniformly as section;
Wed, 29 Oct 2014 19:01:49 +0100 wenzelm modernized setup;
Sat, 05 Jul 2014 11:01:53 +0200 haftmann prefer ac_simps collections over separate name bindings for add and mult
Fri, 01 Nov 2013 18:51:14 +0100 haftmann more simplification rules on unary and binary minus
Sun, 18 Aug 2013 18:49:45 +0200 wenzelm more symbols;
Sun, 23 Jun 2013 21:16:07 +0200 haftmann migration from code_(const|type|class|instance) to code_printing and from code_module to code_identifier
Wed, 22 Aug 2012 22:55:41 +0200 wenzelm prefer ML_file over old uses;
Sun, 25 Mar 2012 20:15:39 +0200 huffman merged fork with new numeral representation (see NEWS)
Fri, 23 Jul 2010 10:25:00 +0200 haftmann proper subclass instead of sublocale
Wed, 12 May 2010 15:27:15 +0200 haftmann tuned proofs and fact and class names
Wed, 12 May 2010 13:51:22 +0200 haftmann tuned fact collection names and some proofs
Wed, 12 May 2010 12:31:52 +0200 haftmann grouped local statements
Tue, 11 May 2010 19:21:39 +0200 hoelzl Add rules directly to the corresponding class locales instead.
Sat, 08 May 2010 18:52:38 +0200 haftmann moved normalization proof tool infrastructure to canonical algebraic classes
Fri, 07 May 2010 16:12:26 +0200 haftmann renamed Normalizer to the more specific Semiring_Normalizer
Fri, 07 May 2010 15:05:52 +0200 haftmann split of semiring normalization from Groebner theory; moved field_comp_conv to Numeral_Simproces
less more (0) tip