Thu, 10 Jan 2019 18:38:21 +0100 | haftmann | restored quickcheck/narrowing, which got accidentally broken in ef02c5e051e5 | changeset | files |
Thu, 10 Jan 2019 12:07:08 +0000 | haftmann | optional code export as theory export | changeset | files |
Thu, 10 Jan 2019 12:07:05 +0000 | haftmann | explicit model concerning files of generated code | changeset | files |