adapt to isabelle fb788bd799d9
Description
Description
Details
Details
- Provenance
kleing Authored on - Parents
- rAFP7f9a5c0cfaa1: merge from afp-2019
- Branches
- Unknown
- Tags
adapt to isabelle fb788bd799d9 Tags None Subscribers None |
adapt to isabelle fb788bd799d9 Tags None Subscribers None
Description
Details
|