new constant power_int in HOL
Description
Description
Details
Details
- Provenance
pruvisto Authored on - Parents
- rISABELLEc095d3143047: New HOL simproc 'datatype_no_proper_subterm'
- Branches
- Unknown
- Tags
new constant power_int in HOL Tags None Subscribers None
Description
Details
|