HomeIsabelle/Phabricator

Trying out Ramsey_eq for simpler proofs

Description

Trying out Ramsey_eq for simpler proofs

Details

Provenance
paulson <lp15@cam.ac.uk>Authored on
Parents
rAFP54d98b691624: more tiny tweaks
Branches
Unknown
Tags
Unknown