Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. updated to Isabelle/45ed7d0aeb6f;
  3. \<^raw> is superseded by \<^latex>cartouche;
Changeset 7122:3546b0b79840 by wenzelm:
merged
Changeset 7121:f2c39c71f3f5 by wenzelm:
updated to Isabelle/45ed7d0aeb6f;
The file was modified thys/Isabelle_Meta_Model/toy_example/embedding/Generator_dynamic.thy (diff)
Changeset 7120:a682e249ea40 by wenzelm:
\&lt;^raw&gt; is superseded by \&lt;^latex&gt;cartouche;
The file was modified thys/Launchbury/EverythingAdequacy.thy (diff)
The file was modified thys/Launchbury/Terms.thy (diff)
The file was modified thys/List_Update/Partial_Cost_Model.thy (diff)
The file was modified thys/WorkerWrapper/FixedPointTheorems.thy (diff)