obsolete (reverting b3d6bb2ebf77): Isabelle/Naproche cache is now value-oriented;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE3bcbc4d12916: print outcome of Sledgehammer search in panel
- Branches
- Unknown
- Tags