# isabelle_session_info

session_name: HOL-Algebra
sources: 336225e7934d5eedfb120616fe475ac54d1fe4b2
output_heap: d062749297cad5dff84790bf13496514edf1a482
input_heaps:
9b9f81d4c305b88e1723b753afa9d6920245812e
c4fec795bbe4e08dce23c820eff003287faea711
430e9de3efdee3e74cea0907e193395680a2872a
aa7798b73ae16e482f7d8cecc2f531c9feef86c3


