There is a newer version of the record available.

Published February 10, 2017 | Version v1.0.0
Software Open

proofpeer/local-lexing-isabelle-theories v1.0.0

Authors/Creators

Description

Isabelle 2016 theory files for Local Lexing

Files

proofpeer/local-lexing-isabelle-theories-v1.0.0.zip

Files (115.9 kB)

Additional details

Related works

Is supplement to
https://github.com/proofpeer/local-lexing-isabelle-theories/tree/v1.0.0 (URL)