src/HOL/Nat_Numeral.thy
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