HomeIsabelle/Phabricator

type class "small" inclusions for types "set", "real" and "complex"

Description

type class "small" inclusions for types "set", "real" and "complex"

Details

Committed
paulson <lp15@cam.ac.uk>Sun, Feb 2, 5:23 PM
Parents
rAFPec727bc82521: added path automata
Branches
Unknown
Tags
Unknown