adapted to isabelle-dev/56db8559eadb
Description
Description
Details
Details
- Provenance
pruvisto Authored on - Parents
- rAFPeb11506f9cf9: simplified definition
- Branches
- Unknown
- Tags
adapted to isabelle-dev/56db8559eadb Tags None Subscribers None
Description
Details
|