# isabelle_session_info

session_name: HOL-Algebra
sources: 283d9ff4589da5e0822fa80d35d3b0438f29ce5e
output_heap: 8bbceac89e9f8ddc15bbc6da63e4b3f79c3c5221
input_heaps:
902b177fe6aa9d4842e92c5ac7c28e0170601731
68844b2ed9f5f6d0cef127c9a9b5cea0e1bfed33
27f2c6ef39e00ed05e8d1d142da8b066fc308275
e6259ea6301365aea7e21374065e13d5e63db7be


