merged
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE2bc39c80a95d: clarified export of consts: recursion is accessible via spec_rules;
rISABELLE6f8422385878: Removed orphaned theory from HOL-Analysis - Branches
- Unknown
- Tags
Merged Changes
Merged Changes