Skip to content
Success

Changes

Summary

  1. merged
  2. tuned signature;
Changeset 6863:e05a47ad25a1 by wenzelm:
merged
Changeset 6862:31d9a90f9e9e by wenzelm:
tuned signature;
The file was modified thys/Featherweight_OCL/UML_Types.thy (diff)
The file was modified thys/Isabelle_Meta_Model/toy_example/embedding/Generator_dynamic.thy (diff)
The file was modified thys/Simpl/hoare.ML (diff)