# isabelle_session_info

session_name: Posix-Lexing
sources: 28a830aed0ceb1b771bc266d0f1753666a06315f
input_heaps:
19483222939fc489952fa9ff470a43a5bdddd767
6fb5181067c76ae090b98814e5ff8a3a2ed813cf
05722cafa430ad5d32034406e0ef9a6274c6ffc0
53e60fd4ec3dfa1062a958e3c651a152808c4fa3


