# isabelle_session_info

session_name: HOL-Algebra
sources: 1b707bf2675b7cf9311166321d02a0f5fec3c51f
output_heap: d65c96d3403960098454bbe6fc2eff4cfb1e237d
input_heaps:
6ccfd83e19ef598f6e27e356293c7dd9ec0a36c7
4664eafb8b95b7e524d9955d44d27659b2d95702
0efab43c4dd752e25759dabc7f6a76e0b445a3bd
b7fd58499a456c841c933e769fafcc66f826125b


