# isabelle_session_info

session_name: Posix-Lexing
sources:
08ac7e261d343e5dc1c9683573ff9f206914a573
155e566ffe279a8228ba65d38dbe9f08ac4811dd
53a44ac630dd30bd987648a68f2c704fd95ec4ba
623c7152078ab8668a85ebcddbf3ff7a84fbc27e
70b6156516dedf8c4b101f9047d7e1717eb03406

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1
4327e9f81d43314e8d3500382c2e7fa2226b5ab0


