moved generic implementation into HOL-Main
Description
Description
Details
Details
- Provenance
florian.haftmann Authored on - Parents
- rISABELLE08b186726ea0: tuned;
- Branches
- Unknown
- Tags
moved generic implementation into HOL-Main Tags None Subscribers None
Description
Details
|