Summary
- Merge, and added [document = false] to Coinductive's ROOT file
- renamed continuous_within_id
The file was modified | thys/Coinductive/Examples/LList_CCPO_Topology.thy (diff) |
The file was modified | thys/Coinductive/Examples/LList_CCPO_Topology.thy (diff) |