# isabelle_session_info

session_name: HOL-Algebra
sources: 69f8cdb17e4db90d7496020e072577697c2ab38b
output_heap: 328a346aa9c1166cf0b9dabd5013b52281bd768d
uuid: 8cf28cd7-0398-4490-b765-a54ef92790ac
input_heaps:
77299dddcb29b78175e82c70524d32bf9d698d4a
bd3bb075592b20659918170e65cd26a662a77f21
f73af0d5d0c2570b2a3edee067d504b616e059ee
239bd0d538a9cf9b1f92607249a02049d4e6b443


