# isabelle_session_info

session_name: HOL-Algebra
sources: 805b48e87fce548cbfe2e63827445d64cf4bd5a0
output_heap: e0d354ac1360d5b71481b4f5e5c1c8c7cae71d69
input_heaps:
2a442dabf4b3c56f5ef63570355cf4d112862e5d
c838443c8c2354d6d1cdbcfd20c3d57dfd9fd4f7
c51ca0b954a003af5287facf81b8b4f1a05bc851
9afd89f18df8de74a5e0b118c220c00c53390ba0


