merged
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEb49bd5d9041f: improper proof command 'guess' moved to separate theory "Pure-ex.Guess";
rISABELLE99add5178e51: NOT is part of syntax bundle also - Branches
- Unknown
- Tags
Merged Changes
Merged Changes