HomeIsabelle/Phabricator

Tidied auto/simp with null arguments

Description

Tidied auto/simp with null arguments

Details

Provenance
paulson <lp15@cam.ac.uk>Authored on
Parents
rAFP613d8d8fb067: minor adjustments
Branches
Unknown
Tags
Unknown