merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rISABELLE773ad766f1b8: Multiplicative_Group now required due to Algebra restructuring
rISABELLE5e616a454b23: clarified Resources.init_session for low-level "isabelle process"; - Branches
- Unknown
- Tags
Merged Changes
Merged Changes