# isabelle_session_info

session_name: HOL-Algebra
sources: 3faa6fae6e9b6efae3abcbf8a7fc9e4d8c30328c
output_heap: bb7d4be243b9a6a6db045dff090b4ac02db40f00
input_heaps:
96ecf35e9f5cbdf8f83e1ff7c688f194e3fa515a
3553617e6f9cd74e9a13eab3e3ed1fb7bfdcc676
b1434bcaa02c65461366761ff321743a2e939e3c
e436d670efa2b7cc612d857ea34e4e6020c95cc0


