# isabelle_session_info

session_name: HOL-Algebra
sources: d8f1006b5d16c7330be4a6e018766d37dccb272d
output_heap: 9d6ca0519c8ef0b31dcfb23c0c6b368471d481fd
input_heaps:
bb6edb3325d4afe86dcddb38cd64e9e4f6cb4f05
f5abe85b5a6ae336d989f2da068aa228d0fe8ac0
8532b7cfa01864c21c6562c284e5e40df2a3d4be
b10b99a01d8be37163c7d3b49efed93f490b1418


