HomeIsabelle/Phabricator

replaced concrete nat and bool by abstract types

Description

replaced concrete nat and bool by abstract types

Details

Provenance
desharnaAuthored on
Parents
rAFPb8e228d01fed: adapted to Isabelle/fd8d82c4433b;
Branches
Unknown
Tags
Unknown