# isabelle_session_info

session_name: Posix-Lexing
sources: 1cad3c2a3cee2370c2ed131039acff3a39d850d8
input_heaps:
3853cc710de37a8d8ae8e2ce10739760530fc782
24be91445dfd95ccebd8630650aef4cacbc92e8b
19cc2c37b59cd619e8d5c50b1c9e3eeada232480
ea2658196a013a37897125d406cd3d4e1f49e878


