src/HOL/UNITY/Comp/AllocBase.thy
Sun, 18 Nov 2018 18:07:51 +0000 haftmann removed legacy input syntax
Thu, 15 Feb 2018 12:11:00 +0100 wenzelm more symbols;
Fri, 18 Aug 2017 20:47:47 +0200 wenzelm session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
Mon, 29 May 2017 09:14:15 +0200 eberlm reorganised material on sublists
Mon, 17 Oct 2016 11:46:22 +0200 nipkow setsum -> sum
Thu, 15 Sep 2016 11:48:20 +0200 nipkow renamed listsum -> sum_list, listprod ~> prod_list
Thu, 07 Jul 2016 17:34:39 +0200 fleury more instantiations for multiset
Thu, 07 Jul 2016 09:24:03 +0200 blanchet moved lemmas and locales around (with minor incompatibilities)
Tue, 05 Jul 2016 13:05:04 +0200 fleury instantiate multiset with multiset ordering
Wed, 25 May 2016 11:50:58 +0200 wenzelm isabelle update_cartouches -c -t;
Sun, 13 Mar 2016 10:22:46 +0100 haftmann more theorems on orderings
Fri, 26 Feb 2016 22:44:11 +0100 haftmann more succint formulation of membership for multisets, similar to lists;
Fri, 19 Jun 2015 15:55:22 +0200 nipkow renamed multiset_of -> mset
Wed, 10 Jun 2015 13:24:16 +0200 Mathias Fleury Renaming multiset operators < ~> <#,...
Sun, 02 Nov 2014 18:21:45 +0100 wenzelm modernized header uniformly as section;
Sat, 05 Jul 2014 11:01:53 +0200 haftmann prefer ac_simps collections over separate name bindings for add and mult
Sat, 28 Jun 2014 09:16:42 +0200 haftmann fact consolidation
Tue, 13 Mar 2012 22:49:02 +0100 wenzelm tuned proofs;
Tue, 13 Dec 2011 15:18:52 +0100 wenzelm modernized specifications;
Wed, 08 Sep 2010 19:21:46 +0200 haftmann modernized primrec
Mon, 22 Feb 2010 09:15:12 +0100 haftmann tuned proofs
Sat, 17 Oct 2009 14:43:18 +0200 wenzelm eliminated hard tabulators, guessing at each author's individual tab-width;
Fri, 03 Aug 2007 20:19:41 +0200 wenzelm misc cleanup of ML bindings (for multihreading);
Wed, 26 Jul 2006 19:23:04 +0200 webertj linear arithmetic splits certain operators (e.g. min, max, abs)
Tue, 03 Jan 2006 15:43:54 +0100 paulson added explicit paths to required theories
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Thu, 22 Jul 2004 17:37:31 +0200 nipkow Modified \<Sum> syntax a little.
Thu, 15 Jul 2004 13:11:34 +0200 nipkow Moved to new m<..<n syntax for set intervals.
Tue, 11 May 2004 20:11:08 +0200 obua changes made due to new Ring_and_Field theory
Mon, 26 Jan 2004 10:34:02 +0100 schirmer * Support for raw latex output in control symbols: \<^raw...>
Wed, 16 Jul 2003 12:09:41 +0200 paulson tidying
Fri, 31 Jan 2003 20:12:44 +0100 paulson conversion to new-style theories and tidying
Fri, 24 Jan 2003 18:13:59 +0100 paulson More conversion of UNITY to Isar new-style theories
Mon, 05 Mar 2001 15:32:54 +0100 paulson reorganization of HOL/UNITY, moving examples to subdirectories Simple and Comp
less more (0) tip