# isabelle_session_info

session_name: Posix-Lexing
sources: 6b6fb0b8bdabb5b1a7b84b0cc9721257f09c4041
input_heaps:
2722ec1bc2993f9863f5084b9ee07bd97dd3d36c
3f001195d7415da4b8cf06d884af4e156b801fea
767fc67378b31eb70f2963c7c52b27cb412fc8af
ffc325d6411a825b49a636c6cde1be5c7bf59da7


