Modelling homogeneous generative meta-programming: Artefact
Martin Berger, Laurence Tratt, Christian Urban
1. Download Isabelle
For Linux:
Isabelle2014-RC0_linux.tar.gz
For MacOSX:
Isabelle2014-RC0.dmg
2. Download Artefact
3. Check Artefact
4. Inspect Artefact
Last modified: Mon Jul 7 00:04:10 BST 2014
[Validate this page.]