src/ZF/int_arith.ML
Thu, 18 Apr 2013 17:07:01 +0200 wenzelm simplifier uses proper Proof.context instead of historic type simpset;
Sat, 17 Sep 2011 15:08:55 +0200 haftmann dropped unused argument – avoids problem with SML/NJ
Thu, 02 Dec 2010 16:04:22 +0100 wenzelm renamed trace_simp to simp_trace, and debug_simp to simp_debug;
Wed, 03 Nov 2010 10:20:37 +0100 wenzelm eliminated dead code;
Wed, 03 Nov 2010 10:18:05 +0100 wenzelm more conventional exceptions for abstract syntax operations -- eliminated ancient SYS_ERROR;
Wed, 25 Aug 2010 18:36:22 +0200 wenzelm renamed Simplifier.simproc(_i) to Simplifier.simproc_global(_i) to emphasize that this is not the real thing;
Sun, 28 Feb 2010 22:30:51 +0100 wenzelm more antiquotations;
Sat, 27 Feb 2010 23:13:01 +0100 wenzelm modernized structure Term_Ord;
Sat, 13 Feb 2010 23:24:57 +0100 wenzelm modernized structures;
Thu, 11 Feb 2010 22:06:37 +0100 wenzelm numeral syntax: clarify parse trees vs. actual terms;
Sun, 07 Feb 2010 19:31:55 +0100 wenzelm prefer explicit @{lemma} over adhoc forward reasoning;
Sat, 17 Oct 2009 00:52:37 +0200 wenzelm explicitly qualify Drule.standard;
Thu, 23 Jul 2009 23:12:21 +0200 wenzelm more @{theory} antiquotations;
Thu, 23 Jul 2009 18:44:09 +0200 wenzelm renamed simpset_of to global_simpset_of, and local_simpset_of to simpset_of -- same for claset and clasimpset;
Fri, 20 Mar 2009 15:24:18 +0100 wenzelm eliminated global SIMPSET, CLASET etc. -- refer to explicit context;
Wed, 31 Dec 2008 15:30:10 +0100 wenzelm moved term order operations to structure TermOrd (cf. Pure/term_ord.ML);
Mon, 16 Jun 2008 17:54:51 +0200 wenzelm converted ML proofs;
Wed, 11 Jun 2008 18:02:25 +0200 wenzelm OldGoals.inst;
Sat, 01 Mar 2008 15:01:03 +0100 wenzelm tuned ML code, more antiquotations;
Mon, 11 Feb 2008 21:32:12 +0100 wenzelm removed unnecessary theory qualifiers;
Mon, 11 Feb 2008 15:40:21 +0100 krauss Made theory names in ZF disjoint from HOL theory names to allow loading both developments
Sun, 07 Oct 2007 21:19:31 +0200 wenzelm modernized specifications;
Tue, 18 Sep 2007 16:08:00 +0200 wenzelm simplified type int (eliminated IntInf.int, integer);
Thu, 31 May 2007 12:06:31 +0200 wenzelm moved Integ files to canonical place;
less more (0) tip