merged
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE913c781ff6ba: support document preparation from already loaded theories;
rISABELLE1310df9229bd: pointless - Branches
- Unknown
- Tags
Merged Changes
Merged Changes