# isabelle_session_info

session_name: HOL-Algebra
sources: c4009d6f4960f17f8f5aae10cef6e78d5367ed14
output_heap: dc508691c89438f6dc743dc093d9d8a70b4858be
input_heaps:
c5db3dab9e6bfb790b454ae78a070e672f73382d
0419e68326a7717df44289dfaee028b00cf0bb57
ddfd458c78a066c1a3580336b37bb2f3c117e3dd
a8eb27a5fbdccc3f51e59de1cb8b403676fa1d80


