Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. fix dangerous context management
Changeset 12893:6328e25d6d57 by simon wimmer _wimmers@in.tum.de_:
fix dangerous context management
The file was modified thys/Refine_Imperative_HOL/Sepref_Frame.thy (diff)
The file was modified thys/Refine_Imperative_HOL/Sepref_Monadify.thy (diff)