# isabelle_session_info

session_name: HOL-Algebra
sources: 62e8de56c1b1aa4011255f6e8929ce7c143263bf
output_heap: 272b4f1503d4b37e3746cd093da56e36e8250129
input_heaps:
3594c3a23f50106bdee5efbaf3086f7890b34084
e5c43bc29392a90943de2bee38b36488b151d894
e7acd95b497d74b11b50d7df854d8fd61fd3fedc
86fcc9129ab18aad6bb7c5ab2fd7c9e82c0aa5ff


