# isabelle_session_info

session_name: HOL-Algebra
sources: edd8b8a5040c9213d82d6e0769bb03817d3ba797
output_heap: 9ab904e293af57c45088782ab191d2d4ae8e2933
input_heaps:
902f55b990891c03dddf854b84aaabb24ee3cee3
e6e8b4787869145ada1a85e687fd48496d7b5e76
e4104b5733d86025b5642d0b39adeb91dfd0561b
827884a8ec3d67702fb4ca56e6d5e49142bae1db


