# isabelle_session_info

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

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef
aa9820bce087f3002dd8a9aba660f4b5706348c8


