# isabelle_session_info

session_name: HOL-TLA-Buffer
sources: b79e0d176dd36b786c464642ce97a3103f4697f1
input_heaps:
0bf2a27c0ff6a611e74bb01f6f32875f555cab28
92784c842d19725f296c8ccac91815ef43f559b8
52d9925b0fd725782f62aa8316a3afece3621c08


