# isabelle_session_info

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

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
e02038ad1e9503a02a8e11b7cb457877cc454f98
5e2d9fe647698eb3de122778d18dacd4a9a66146
41b560b0ddd575ad34af7f0adfe9f4d96ebfb999


