# isabelle_session_info

session_name: Posix-Lexing
sources: e77602f7f1d2dcf77a83de484c0ea0b16c043205
input_heaps:
273a065aaa7221aeab8448251fac00a4433003aa
e99e0684410df36373f4f2b5c5ea423968ee9625
c476bdebca2f60c33824d5374c70fabe6f4ba221
782545c6d068f311cb1b58de033b65326a946bf8


