# isabelle_session_info

session_name: Posix-Lexing
sources: 484aa2e2557860747741f5dce158b7d11a312701
input_heaps:
78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920
db0b9f381bf5e847e834c0dde3ed15877688cc59
dd5a66ed2ec6ee975e279edd847d2bd17a3726ea
29bd62867e8e25509e40bd8a9c060c4003274333


