blanchet [Sat, 10 Sep 2011 00:44:25 +0200] rev 44858
continue with minimization in debug mode in spite of unsoundness
huffman [Fri, 09 Sep 2011 09:31:04 -0700] rev 44857
generalize lemma of_nat_number_of_eq to class number_semiring
bulwahn [Fri, 09 Sep 2011 15:14:59 +0200] rev 44856
merged
bulwahn [Fri, 09 Sep 2011 14:43:50 +0200] rev 44855
stating more explicitly our expectation that these two terms have the same term structure
bulwahn [Fri, 09 Sep 2011 12:33:09 +0200] rev 44854
revisiting type annotations for Haskell: necessary type annotations are not inferred on the provided theorems but using the arguments and right hand sides, as these might differ in the case of constants with abstract code types
blanchet [Fri, 09 Sep 2011 14:30:57 +0200] rev 44853
made SML/NJ happy
noschinl [Thu, 08 Sep 2011 12:23:11 +0200] rev 44852
call ghc with -XEmptyDataDecls
nipkow [Fri, 09 Sep 2011 06:47:14 +0200] rev 44851
merged
nipkow [Fri, 09 Sep 2011 06:45:39 +0200] rev 44850
tuned headers
huffman [Thu, 08 Sep 2011 19:35:23 -0700] rev 44849
Library/Saturated.thy: number_semiring class instance
huffman [Thu, 08 Sep 2011 18:47:23 -0700] rev 44848
remove lemmas nat_add_min_{left,right} in favor of generic lemmas min_add_distrib_{left,right}
huffman [Thu, 08 Sep 2011 18:13:48 -0700] rev 44847
merged
huffman [Thu, 08 Sep 2011 10:07:53 -0700] rev 44846
remove unnecessary intermediate lemmas
krauss [Fri, 09 Sep 2011 00:22:18 +0200] rev 44845
added syntactic classes for "inf" and "sup"