moved theory Interval_Approximation from the AFP
Description
Description
Details
Details
- Provenance
immler Authored on - Parents
- rISABELLE6fe5a0e1fa8e: moved theory Interval from the AFP
- Branches
- Unknown
- Tags
moved theory Interval_Approximation from the AFP Tags None Subscribers None |