# isabelle_session_info

session_name: HOL-Algebra
sources: c53210df420941269c0a105c119f5ff2cbcc05ae
output_heap: ccfb4d075650e981e20da8adadd39afa7f380c7e
input_heaps:
393fae3774b4e564b1026bf200bc8a56a06c6d90
57047d6b403ca17ea2fbe0bcecbdfd87177ba07d
afd7c40915b576ce0b4a18207bc1e0965b8b1d65
93b1328ddd6d6837b1e8a6cc8519cddbfbeeda93


