Summary
- moved simp rules to distribution
The file was modified | thys/Automatic_Refinement/Lib/Misc.thy (diff) |
The file was modified | thys/Network_Security_Policy_Verification/Security_Invariants/SINVAR_NonInterference.thy (diff) |
The file was modified | thys/Automatic_Refinement/Lib/Misc.thy (diff) |
The file was modified | thys/Network_Security_Policy_Verification/Security_Invariants/SINVAR_NonInterference.thy (diff) |