Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. more position information for type mixfix;
  3. tuned;
Changeset 6475:5000c34002cf by wenzelm:
merged
Changeset 6474:ff7ac7d9bf39 by wenzelm:
more position information for type mixfix;
The file was modified thys/Isabelle_Meta_Model/toy_example/embedding/Generator_dynamic.thy (diff)
Changeset 6473:ec8ad944f584 by wenzelm:
tuned;
The file was modified thys/Collections/ICF/CollectionsV1.thy (diff)
The file was modified thys/Collections/ICF/tools/ICF_Tools.thy (diff)
The file was modified thys/Collections/ICF/tools/Locale_Code.thy (diff)
The file was modified thys/Refine_Monadic/Refine_Automation.thy (diff)