bulwahn [Mon, 19 Sep 2011 16:18:23 +0200] rev 45862
adding abstraction layer; more precise function names
bulwahn [Mon, 19 Sep 2011 16:18:21 +0200] rev 45861
adding type annotations more aggressively and redundantly to make code generation more reliable even when special printers for some constants are used
bulwahn [Mon, 19 Sep 2011 16:18:19 +0200] rev 45860
determining the fastype of a case-pattern but ignoring dummy type constructors that were added as markers for type annotations
bulwahn [Mon, 19 Sep 2011 16:18:19 +0200] rev 45859
only annotating constants with sort constraints
bulwahn [Mon, 19 Sep 2011 16:18:18 +0200] rev 45858
also adding type annotations for the dynamic invocation
noschinl [Mon, 19 Sep 2011 14:35:51 +0200] rev 45857
removed legacy lemmas in Complete_Lattices
bulwahn [Mon, 19 Sep 2011 14:24:53 +0200] rev 45856
increasing quickcheck timeout to reduce spurious test failures due to massive parallel invocations and bad scheduling
huffman [Sun, 18 Sep 2011 16:12:43 -0700] rev 45855
merged
huffman [Thu, 15 Sep 2011 10:12:36 -0700] rev 45854
numeral_simprocs.ML: use HOL_basic_ss instead of HOL_ss for internal normalization proofs of cancel_factor simprocs, to avoid splitting if-then-else
wenzelm [Sun, 18 Sep 2011 21:41:36 +0200] rev 45853
removed obsolete patches for PG 4.1;