bulwahn [Fri, 09 Dec 2011 16:08:32 +0100] rev 46672
hiding definitional facts in Quickcheck; introducing catch_match more honestly
kuncar [Fri, 09 Dec 2011 14:46:18 +0100] rev 46671
added dependencies
kuncar [Fri, 09 Dec 2011 14:22:05 +0100] rev 46670
added an example file with lifting of constants with contravariant and co/contravariant types
kuncar [Fri, 09 Dec 2011 14:16:42 +0100] rev 46669
merged
kuncar [Fri, 09 Dec 2011 14:14:37 +0100] rev 46668
make ctxt the first parameter
kuncar [Fri, 09 Dec 2011 14:12:02 +0100] rev 46667
context/theory parametres tuned
kuncar [Fri, 09 Dec 2011 14:03:17 +0100] rev 46666
maps are taken from enriched type infrastracture, rewritten lifting of constants, now we can lift even contravariant and co/contravariant types
huffman [Fri, 09 Dec 2011 13:42:16 +0100] rev 46665
add induction rule for list_all2
bulwahn [Fri, 09 Dec 2011 12:21:03 +0100] rev 46664
deactivating quickcheck_narrowing if Efficient_Nat theory is loaded
bulwahn [Fri, 09 Dec 2011 12:21:01 +0100] rev 46663
tuned quickcheck's response