# isabelle_session_info

session_name: Eisbach
sources: 0a83f1513d574745393a65c64a0d6c4e9d312ef6
input_heaps:
0bf2a27c0ff6a611e74bb01f6f32875f555cab28
92784c842d19725f296c8ccac91815ef43f559b8
9666a5bb7ce8eb6578abbb28189c1a7182cc486f


