# isabelle_session_info

session_name: HOL-Algebra
sources: 3d17d762ab8ac528a7b9530dea5f5cc465b7279f
output_heap: 652f63bf98ac7a74bc727c9146bd9f549ec03abe
input_heaps:
9d7517348472ce807cf5dff817172e1e8120481b
929ed8b823edb90e6904fdfe33cb6e38dbf2b397
2e6a14cf332154faba1bf040ff335b0da122122e
ddfcdce7684abe47a7844471c50e845b106495ac


