Skip to content
Success

Changes

Summary

  1. updated to Isabelle/eb94e570c1a4;
Changeset 6482:86fc191ec82f by wenzelm:
updated to Isabelle/eb94e570c1a4;
The file was modified thys/Isabelle_Meta_Model/toy_example/embedding/Generator_dynamic.thy (diff)