Merged
Description
Description
Details
Details
- Provenance
pruvisto Authored on - Parents
- rAFP4f482d20a008: adapted to isabelle-dev 954ee5acaae0
rAFPe8bc925a7952: adapted to Isabelle/0c47c128f9af; - Branches
- Unknown
- Tags
Merged Changes
Merged Changes
Merged Tags None Subscribers None
Description
Details
Merged Changes |