# isabelle_session_info

session_name: HOL-Algebra
sources: 2d56c86d5c43a15f5f7d77d6f15a1b75b5fc1914
output_heap: bd4dbcb7063cdacb4475ad84387d9454808db466
input_heaps:
de877691d4f439c54add1e4f3c47e94a8527bdce
d6535a27214e155c3bd561efa578ed5e8e87d84e
05b2b7fe9fa8ae87f8a982178153dbe93652486c
03fbe5e8de065f0b2ccfc99328517f59be4f267c


