# isabelle_session_info

session_name: Posix-Lexing
sources: 4fb6db6ca4723a25c9a17c9b06a391001fa3dda3
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
5aed350afdc15f56ad5b986907a91213f8d8b65d
ad6d44f7aedb014e340bd82c93157922e7ad3f04
717b0cb54be0eb7eb4824d64f17b964812bc9707


