HomeIsabelle/Phabricator

Tuning the abstract to remove some of the display mathematics

Description

Tuning the abstract to remove some of the display mathematics

Details

Provenance
paulson <lp15@cam.ac.uk>Authored on
Parents
rAFPe159ab7bd5bb: sitegen for Package_logic
Branches
Unknown
Tags
Unknown