# isabelle_session_info

session_name: HOL-Algebra
sources: e1fbed0466bd56008e9f64e9083814b9b01a4b9c
output_heap: ef5b399817c3b32a3474ba28c71f4b90ab647ec0
input_heaps:
4f9adad097b83b48748aa56278725eaba3e0de72
4407b64f47d089c8dc6c9340ed5b51e835b9101d
3f8f750615c51da34dc4ddb1f2544adbc653d8aa
2acca9b9fe64646ddee16c769b881bca0eb42eb7


