# isabelle_session_info

session_name: HOL-Algebra
sources: 24a99c4ba691c6313e93cd9bef94d5f1b7d9c167
output_heap: 4f7ee0f9878a0c86f2789c2ef1c9688a1a28d993
input_heaps:
244fff9626586a47cf219a42d65621cd04b99d5d
ffc040b6ffcc8a36a19cb39cf7a22fb8637d0a4c
b83d4e80aee1d88cdeb177262aa9882502bd4fd5
73e24fdf48189e2c9ac2025bdde76697e4d20eff


