Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Rewrite rule arguments of sublocale and interpretation implementations were dropped.
Changeset 8987:f2a1e7450ff1 by ballarin:
Rewrite rule arguments of sublocale and interpretation implementations were dropped.
The file was modified thys/Isabelle_Meta_Model/toy_example/embedding/Generator_dynamic.thy (diff)
The file was modified thys/Simpl/hoare.ML (diff)