Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. adapting to Isabelle/3e3097ac37d1
Changeset 6971:20475193abad by fleury _mathias.fleury@mpi-inf.mpg.de_:
adapting to Isabelle/3e3097ac37d1
The file was modified thys/Automatic_Refinement/Lib/Misc.thy (diff)
The file was modified thys/Program-Conflict-Analysis/Misc.thy (diff)