# isabelle_session_info

session_name: HOL-Algebra
sources: bed95f9df08792c0af4efcc1fdf56f01bceba46a
output_heap: 11c06e25c72c311b83521e5dc67bc34eac641af0
input_heaps:
33e372010bd93d78618052a88797c5afe4f11382
7daf0c8bd7744b8053173dc61bbf05acdc7970ef
b6f41c0185bf083cb5382e1146e55641d3db64d4
2dec38b21e1cfadf9410f1508211cf808cdd74de


