# isabelle_session_info

session_name: HOL-Algebra
sources: 5a705f648e61c11ec9dd6935577696517a3c088f
output_heap: 4d7d7334e7644c826c1a24c2881187ae68d56968
input_heaps:
41c19be3f36616b14c5f74fb8791e46be930a98f
f738d32c8c714829016adbf642e3879ffef6c4ff
2b6d1c48343bf30bf5111de99768883080e7df1b
7b578aa3597d5739a992569d7d781e46b7fe619a


