Skip to content
Failed

Changes

Summary

  1. compile with isabelle/922e702ae8ca
Changeset 6404:1df8ee482d1b by frédéric tuong _frederic.tuong@{u-psud,irt-systemx,lri}.fr_:
compile with isabelle/922e702ae8ca
The file was modified thys/Isabelle_Meta_Model/isabelle_home/src/Tools/Code/Isabelle_code_runtime.thy (diff)
The file was modified thys/Isabelle_Meta_Model/toy_example/embedding/Generator_dynamic.thy (diff)