moved theory Interval from the AFP
Description
Description
Details
Details
- Provenance
immler Authored on - Parents
- rISABELLEe0755162093f: replace approximation oracle by less ad-hoc @{computation}s
- Branches
- Unknown
- Tags
moved theory Interval from the AFP Tags None Subscribers None |