Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. adapted to Isabelle/410818a69ee3
Changeset 9428:ec054ee3995c by lars hupel _lars.hupel@mytum.de_:
merged
Changeset 9427:bbc71604d77f by lars hupel _lars.hupel@mytum.de_:
adapted to Isabelle/410818a69ee3
The file was modified thys/Coinductive_Languages/Context_Free_Grammar.thy (diff)
The file was modified thys/Incredible_Proof_Machine/Incredible_Correctness.thy (diff)