continue 5e24e5f249e5
Showing
- thys/Isabelle_Meta_Model/meta_isabelle/Meta_Isabelle.thy 2 additions, 2 deletionsthys/Isabelle_Meta_Model/meta_isabelle/Meta_Isabelle.thy
- thys/Isabelle_Meta_Model/meta_isabelle/Printer_Isabelle.thy 10 additions, 4 deletionsthys/Isabelle_Meta_Model/meta_isabelle/Printer_Isabelle.thy
- thys/Isabelle_Meta_Model/toy_example/embedding/Generator_dynamic.thy 18 additions, 7 deletions...le_Meta_Model/toy_example/embedding/Generator_dynamic.thy
Loading
Please register or sign in to comment