Fri, 09 Dec 2011 14:12:02 +0100 context/theory parametres tuned
kuncar [Fri, 09 Dec 2011 14:12:02 +0100] rev 45796
context/theory parametres tuned
Fri, 09 Dec 2011 14:03:17 +0100 maps are taken from enriched type infrastracture, rewritten lifting of constants, now we can lift even contravariant and co/contravariant types
kuncar [Fri, 09 Dec 2011 14:03:17 +0100] rev 45795
maps are taken from enriched type infrastracture, rewritten lifting of constants, now we can lift even contravariant and co/contravariant types
Fri, 09 Dec 2011 13:42:16 +0100 add induction rule for list_all2
huffman [Fri, 09 Dec 2011 13:42:16 +0100] rev 45794
add induction rule for list_all2
Fri, 09 Dec 2011 12:21:03 +0100 deactivating quickcheck_narrowing if Efficient_Nat theory is loaded
bulwahn [Fri, 09 Dec 2011 12:21:03 +0100] rev 45793
deactivating quickcheck_narrowing if Efficient_Nat theory is loaded
Fri, 09 Dec 2011 12:21:01 +0100 tuned quickcheck's response
bulwahn [Fri, 09 Dec 2011 12:21:01 +0100] rev 45792
tuned quickcheck's response
Fri, 09 Dec 2011 11:31:13 +0100 more systematic lemma name
noschinl [Fri, 09 Dec 2011 11:31:13 +0100] rev 45791
more systematic lemma name
Thu, 08 Dec 2011 13:53:28 +0100 adding examples for quickcheck narrowing about partial functions
bulwahn [Thu, 08 Dec 2011 13:53:28 +0100] rev 45790
adding examples for quickcheck narrowing about partial functions
Thu, 08 Dec 2011 13:53:27 +0100 removing special code generator setup for hd and last function because this causes problems with quickcheck narrowing as the Haskell Prelude functions throw errors that cannot be caught instead of PatternFail exceptions
bulwahn [Thu, 08 Dec 2011 13:53:27 +0100] rev 45789
removing special code generator setup for hd and last function because this causes problems with quickcheck narrowing as the Haskell Prelude functions throw errors that cannot be caught instead of PatternFail exceptions
Thu, 08 Dec 2011 13:46:04 +0100 HOLCF/ex/Letrec.thy: keep class 'domain' as default sort
huffman [Thu, 08 Dec 2011 13:46:04 +0100] rev 45788
HOLCF/ex/Letrec.thy: keep class 'domain' as default sort
Thu, 08 Dec 2011 13:25:54 +0100 more error checking for fixrec
huffman [Thu, 08 Dec 2011 13:25:54 +0100] rev 45787
more error checking for fixrec
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip