HomeIsabelle/Phabricator

Fixed and simplified some failing proofs

Description

Fixed and simplified some failing proofs

Details

Provenance
paulson <lp15@cam.ac.uk>Authored on
Parents
rAFP34dff8ee061c: Writing less_sets as an infix
Branches
Unknown
Tags
Unknown