Skip to content
Failed

Changes

Summary

  1. fix dangerous context management
Changeset 12894:f8f7720a7451 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)