merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rISABELLE7f240b0dabd9: More new theorems, and a necessary correction
rISABELLEfaaff590bd9e: stripped unused functionality - Branches
- Unknown
- Tags
Merged Changes
Merged Changes