# isabelle_session_info

session_name: HOL-Algebra
sources: 92a39761558b90dfe2b491de4a8cda9f3af572be
output_heap: 7718334cc76b9e01b7ecb686e709dcc58cf2fe6a
uuid: ef5c4f3e-2dae-4a34-9f95-dd60fbf4d011
input_heaps:
8c2ad67f41d2a030f0393e2fbd1c88a540b55845
2fa6c96befd2c17f29a768fc6a6e8049b259612c
68fdfbd68244a9601fd52de5f492afc81d3b228a
c1d1b89d067587f51e7e26400d662871d76a0f33


