src/HOL/Quickcheck_Narrowing.thy
2011-06-10 bulwahn 2011-06-10 adding another narrowing strategy for integers
2011-06-09 hoelzl 2011-06-09 fixed document generation for HOL
2011-06-09 bulwahn 2011-06-09 fixing code generation test
2011-06-09 bulwahn 2011-06-09 removing char setup
2011-06-09 bulwahn 2011-06-09 removing unneccessary manual instantiations and dead definitions; hiding more constants and facts
2011-06-09 bulwahn 2011-06-09 adding a nicer error message for quickcheck_narrowing; hiding fact empty_def
2011-06-09 bulwahn 2011-06-09 adapting Quickcheck_Narrowing: adding setup for characters; correcting import statement
2011-06-09 bulwahn 2011-06-09 moving Quickcheck_Narrowing from Library to base directory