merged
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE96f56191aaea: proper target directory for libraries;
rISABELLE15fc6320da68: reconstruction of veriT proofs in NEWS - Branches
- Unknown
- Tags
Merged Changes
Merged Changes