Summary
- merged
- updated to Isabelle/45ed7d0aeb6f;
- \<^raw> is superseded by \<^latex>cartouche;
The file was modified | thys/Isabelle_Meta_Model/toy_example/embedding/Generator_dynamic.thy (diff) |
The file was modified | thys/Launchbury/EverythingAdequacy.thy (diff) |
The file was modified | thys/Launchbury/Terms.thy (diff) |
The file was modified | thys/List_Update/Partial_Cost_Model.thy (diff) |
The file was modified | thys/WorkerWrapper/FixedPointTheorems.thy (diff) |