updated to Isabelle/3c544d64c218
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rAFP09ceb8a134bc: adapted to Isabelle/39df30349778;
- Branches
- Unknown
- Tags
updated to Isabelle/3c544d64c218
Description updated to Isabelle/3c544d64c218
Details
Event Timeline
Changes (22) |