Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. adapted to Isabelle/8dc24130e8fe;
Changeset 7529:51d975cb0223 by wenzelm:
merged
Changeset 7528:c43db233f7b9 by wenzelm:
adapted to Isabelle/8dc24130e8fe;
The file was modified thys/Isabelle_Meta_Model/toy_example/embedding/Generator_dynamic.thy (diff)