merged
Description
Description
Details
Details
- Provenance
nipkow Authored on - Parents
- rISABELLE7c3d681f11d4: added mbox-like latex sugar
rISABELLE67bf692cf1ab: Added tag Isabelle2023-RC2 for changeset 53b59fa42696 - Branches
- Unknown
- Tags
Merged Changes
Merged Changes