merged
Description
Description
Details
Details
- Provenance
Julian Brunner <julianbrunner@gmail.com> Authored on - Parents
- rAFP2a8c0c859b0a: refactoring
rAFP231c5cb952ed: adapted to isabelle-dev/07c85c68ff03 - Branches
- Unknown
- Tags
Merged Changes
Merged Changes