more showl-real instantiation to Show_Real thy
Description
Description
Details
Details
- Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at> Authored on - Parents
- rAFP1c2509fdeac7: added showl-functions for terms and contexts
- Branches
- Unknown
- Tags
more showl-real instantiation to Show_Real thy Tags None Subscribers None
Description
Details
|