# isabelle_session_info

session_name: Eisbach
sources: 082571da5f439fa1ae25a32b3794de837b4cef69
input_heaps:
c3c66997e101ae0d4d60e2015f416735a6604f5d
2ab3dce101c373e21ec100743fd5206a95586409
5bb4d2c717033c1f6cb5c663ec9c76f49f510988


