Wed, 27 Jan 2010 14:03:08 +0100 | haftmann | merged | changeset | files |
Wed, 27 Jan 2010 14:02:53 +0100 | haftmann | a more complex record expression -- cf. src/HOL/Tools/quickcheck_generators.ML | changeset | files |
Wed, 27 Jan 2010 14:02:53 +0100 | haftmann | lemma Image_closed_trancl | changeset | files |
Wed, 27 Jan 2010 14:02:52 +0100 | haftmann | corrected type of typecopy constructor | changeset | files |
Wed, 27 Jan 2010 14:02:52 +0100 | haftmann | tuned structure; moved non-related quickcheck.setup to Code_Generator.thy | changeset | files |
Wed, 27 Jan 2010 11:47:17 +0100 | berghofe | Changed author; removed debugging code. | changeset | files |