# isabelle_session_info

session_name: HOL-Algebra
sources: 7ec53e6b986d9e9325c5839866a01f34c430b2c9
output_heap: d3027e7ce462961c85a18107b6ce7ec125c6bd08
input_heaps:
7d19cb1bdc7d0c9728aa6789ebe077e650534e03
04c4981d19dd71a790541c21d8984c7c9f4e9558
524a5819ae72b6396120725fea72a837f54d2ebd
2f472768f4c62ddd740652eb733f3d4d6c8fb7ff


