HomeIsabelle/Phabricator

tidied a definition and proof

Description

tidied a definition and proof

Details

Provenance
paulson <lp15@cam.ac.uk>Authored on
Parents
rAFPbfb55826ffc0: New entry Hood_Melville_Queue
Branches
Unknown
Tags
Unknown