# isabelle_session_info

session_name: Posix-Lexing
sources: 3fb4ebd318931c1ca33605e4eac91e67f47a3063
input_heaps:
bc695fdee8824a798a8d382701fae26c53fc4747
5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77
2d6e38d83c3e90a100dde7fed1e4308f472211d2
05a41df8b289e399261ff2a40d26d1ce09342636


