# isabelle_session_info

session_name: HOL-Algebra
sources: 41879668601e72dd0ac61642814e71c728351f99
output_heap: cf300dcbeaee0aaaf8fcfdefc54926b64786681e
uuid: fc1cbada-8d90-4842-a35d-0c4ed6191ec8
input_heaps:
ba4d32bd4787a90c8ed747450db046e743778809
00e4c29c03866e48b64ed0938508578e7f44b357
5306384618dcbe43ee573dd52706f4b9bef9df56
91840e94caa6c1f64b13765fc0b014bfc7529ab5


