# isabelle_session_info

session_name: HOL-Algebra
sources: 16a3d53e4b0f3ab87340884ec9c4425eff06a5a8
output_heap: 7ec70196efec2406e9292374952c7e12592a58c4
input_heaps:
95853d0653331ec14ed62a4d4bc81dab1230b932
cb6e029473a5a4e5efb81be3643a1e4640b2d25e
2b539084d7de6074301b0f4072eefdd065d557d2
d97cc6e4cace562cf0d8c48249714ae7b62cbe08


