HomeIsabelle/Phabricator

more lex fixes

Description

more lex fixes

Details

Provenance
paulson <lp15@cam.ac.uk>Authored on
Parents
rAFPfcf802f31002: some lex fixes
Branches
Unknown
Tags
Unknown