# isabelle_session_info

session_name: HOL-Algebra
sources: f59a07e33a081a1db7c4f7936e41369dfa2ee803
output_heap: 6012b24c5edcc616ed8802bdaf1a12e2e2c245d1
input_heaps:
5d0079f13ee7c1516be1fd5db47237848a8fcd70
89d1c2b6896693fc9f8a95718734edee986c3528
6ee153b9d7c58be9ad63e2089f104d68a42e901e
e140189779e81ebe12df422e446c71891e51ed7c


