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 |
Mon, 07 Jan 2019 18:50:41 +0100 | immler | moved generalized lemmas | changeset | files |