There is a newer version of the record available.

Published February 10, 2017 | Version 1.0.1
Software Open

proofpeer/local-lexing-isabelle-theories 1.0.1

Authors/Creators

Description

Isabelle 2016 theory files for Local Lexing

Files

proofpeer/local-lexing-isabelle-theories-1.0.1.zip

Files (116.7 kB)

Additional details

Related works

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