# isabelle_session_info

session_name: HOL-Algebra
sources: 637535ba544b242e2128c6ac66794eb60c817835
output_heap: a5d7508cd753bb151e794a441f124fe0a61b3026
uuid: 03e5326c-c16e-4716-9503-33458180fdb9
input_heaps:
b6ac33a175addfe695edbae18cd2583281bee6b6
d54b2acc9dae828b9e04868d1aaac6710f70e08b
82162a8631e7af18f84939893d8bd4408c8a1cc0
1d27a23657348ec6058700e8653a9eaa6ecad18c


