# isabelle_session_info

session_name: HOL-ex
sources: 40f9ded3b94a2959ee52c00ae9a87298681d2f57
input_heaps:
9bf876d4513454d50696bfc4d514dd18d725d701
e4242c75dedf53a8d00cf2b4d3b412995bef04d2
49e038a94a2122a98dc4776ca5d9ba3d7df2c2c8
676f9ef6375d8e08618815160f354e0373ea6dcc
9c8feee7a2d3ce80a37ad9d44fcbf4ed8f409e83


