Skip to content
Success

Changes

Summary

  1. restored space
Changeset 8632:e0d3ebb7e5ac by nipkow:
restored space
The file was modified thys/Refine_Imperative_HOL/IICF/Impl/IICF_List_SetO.thy (diff)