# isabelle_session_info

session_name: HOL-Algebra
sources: 7c7117c340f04675c99e8d9b7b50b90634ef3596
output_heap: 0b87ca7b4e3cf3b7c9a7fb7b13ea9d54f89e4494
input_heaps:
c76929b29fb501c0707c014cb283a2ded47b4e36
17c70744705ab67f304331b243d3ae7a45b8980f
1cf5c2fb1f5fb56ccdb24b8e1264e6abc91736e5
dc12e28bdf559eec0f2a3e592fc2c712d772a9b9


