![[Jenkins]](/jenkins/static/77e8e0f1/images/svgs/logo.svg){kind=logo}
Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)
Summary
- Isabelle_Meta_Model: avoid multiple use of ML_file
| The file was added | thys/Isabelle_Meta_Model/Antiquote_Setup.thy |
| The file was modified | thys/Isabelle_Meta_Model/ROOT |
| The file was modified | thys/Isabelle_Meta_Model/document/Rail.thy |
| The file was modified | thys/Isabelle_Meta_Model/toy_example/embedding/Generator_static.thy |
| The file was modified | thys/Isabelle_Meta_Model/toy_example/generator/Design_deep.thy |
| The file was modified | thys/Isabelle_Meta_Model/toy_example/generator/Design_shallow.thy |