# isabelle_session_info

session_name: HOL-Algebra
sources: 46ac7ffb040be255a4e3961871dde6c3d6529d0c
output_heap: cae0f1aa9fc23ddd6f6556f910ff8d3f21c4b972
input_heaps:
a429cf6bd5a58ac47c7763de2b4ef57e3ddfd2ef
079e9fd5cfdf5f97afbb4f697151ea8bae9eac63
022cd58040fcf62c14c87ee2eb26ded1173ca304
82cc8da8a22924db1f0f4ab11d4ffea1a49fef48


