# isabelle_session_info

session_name: HOL-Algebra
sources: 87bc645a81c43569e534d26841d6e72d55db5f24
output_heap: 5f6ae1f4c96f2149455ed7334c9e542c2be02bd6
input_heaps:
13a4ee91aa67465b8841fa4bd2c33bc4d91f32eb
e27bfecc3175c5bea938916291a381f36c7f2a5b
e7e13db9495f7d2da4f10d4228403992147202c3
fa713061f8e30d532f39264f1cfe8d70c2a9b13f


