src/HOL/Nat_Numeral.thy
Wed, 24 Jun 2009 09:41:14 +0200 nipkow corrected and unified thm names
Fri, 15 May 2009 16:39:18 +0200 haftmann tuned code postprocessor
Mon, 11 May 2009 19:51:21 +0200 haftmann merged
Mon, 11 May 2009 15:18:32 +0200 haftmann tuned interface of Lin_Arith
Mon, 11 May 2009 08:28:49 -0700 huffman newline at end of file
Sat, 09 May 2009 07:25:22 +0200 nipkow lemmas by Andreas Lochbihler
Fri, 08 May 2009 09:48:07 +0200 haftmann modules numeral_simprocs, nat_numeral_simprocs; proper structures for numeral simprocs
Mon, 04 May 2009 14:49:49 +0200 haftmann dropped duplicate lemma sum_nonneg_eq_zero_iff
Tue, 28 Apr 2009 15:50:29 +0200 haftmann collected square lemmas in Nat_Numeral
Mon, 27 Apr 2009 10:11:46 +0200 haftmann whitespace tuning
Wed, 22 Apr 2009 19:09:21 +0200 haftmann power operation defined generic
Wed, 15 Apr 2009 15:30:39 +0200 haftmann theory NatBin now named Nat_Numeral
less more (0) tip