merged
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE1192c68ebe1c: suppress theories from other sessions, unless explicitly specified via…
rISABELLE0510c7a4256a: moved more legacy to AFP - Branches
- Unknown
- Tags
Merged Changes
Merged Changes