# isabelle_session_info

session_name: HOL-Algebra
sources: a5263c6bb03407ebdda00c6bf696a4621cc9c4f5
output_heap: 0dd55500386dfb03564b32fc09ed12a5e305fadc
input_heaps:
54c79e9de84c074157fc1ab72ed178119623db9d
1d3c498146e221cfc65a0799a6b457079cbcd5e7
22af4039d4c5197a7a354adb14ed58f818751d02
fe27b47bed9df17b31732368e6dcc259426f6642


