Moved a number of general-purpose lemmas into HOL
Description
Description
Details
Details
- Provenance
paulson <lp15@cam.ac.uk> Authored on - Parents
- rISABELLEc06604896c3d: more robust shutdown while Isabelle_Process is starting up, e.g. quit after…
- Branches
- Unknown
- Tags