# isabelle_session_info

session_name: HOL-Algebra
sources: a0ba4bbe975ea7dda7986baf0e732f8e09d722a0
output_heap: 78a46e4c651d7ae0d2fea1954b465033f7054f5d
input_heaps:
6a0262e54d292d7ccc0eaa27252a3e70aa6b574d
0b0e30dcc9976635e2910689b3c3e0d8c0a8d955
8412a6684da0e5bd763328bd38a737ddad7ff6cb
1e1afe3ac3462addd57d66a19b0d438516ff34c0


