# isabelle_session_info

session_name: HOL-Algebra
sources: 7751e0e3c3a343598d9835205d23992e61440d07
output_heap: d77a34507a68dd9f5d0b2afcaf68aa2042b9652c
input_heaps:
e8537c47e923e47de729f9e0567accc61123d7db
017a6e647f3bb9870cee54c6bf34fef030e0e70a
0c4a301b03c4534552ec1dc9a6924d0bb12cb217
35026de009c0fea12b5b88d85effb4519dedb393


