HomeIsabelle/Phabricator

sitegen for Syntax_Independent_Logic

Description

sitegen for Syntax_Independent_Logic

Details

Provenance
paulson <lp15@cam.ac.uk>Authored on
Parents
rAFP1c25a24f6628: new entry Syntax_Independent_Logic
Branches
Unknown
Tags
Unknown