# isabelle_session_info

session_name: HOL-Algebra
sources: 63cc54b196a676a204d798beb0f7f13a35b9abfb
output_heap: 09e241ef1fcdb44ff8a405a439e7d7c42cb5cb1f
uuid: f68c7e53-90dd-45f2-baea-7cf6da44877a
input_heaps:
ce295757e9128ce20e665c4f4ba08c3bdfeff815
3b15bfeb74cd601d1e7f504e7a4b04f02809051d
1262cc5026584a10c127e9b3af4f4ef395f988dc
153946ad86a6dd61f46ad7f68c4a28944e6a994c


