# isabelle_session_info

session_name: HOL-Algebra
sources: 618f12f453fb78f88052acb9433267e882843f2f
output_heap: 4365e8505f3574f26a1fa6b811b27fcf9755eb08
input_heaps:
dfb2cff39355450cfd9a38d0868c45c739868d18
7c72e15715919641b0ffd3d741f84942d786d5cb
e277d9715692c228eb3bbaf9aeb5789a062411aa
0f899e6cc022c2b74b94f9144f8ae6ad18c0d735


