# isabelle_session_info

session_name: HOL-Algebra
sources: 3968c2549e56ae83c5475988c31e90c24ce3b4c7
output_heap: 6e973682914f90917d13d58692677e73a0bd05f6
uuid: 52e1d789-0db6-4a3b-8dfc-cc2d6fc4331a
input_heaps:
d3f897dbede5114e044d830121d9dc2b656057db
736e4fc5a7aca9f5f524c2f1dcf705553bd6aaed
dbabd8842d5bee8fc352d42812406e1a1d4c39cd
fec8b72c744412e50383fda73d713fa865edd55e


