# isabelle_session_info

session_name: HOL-Algebra
sources: 9f7a8a4acf3ced8a7e1c1084f95b7e107bfb0855
output_heap: a96d5c96ac0e5563b0e7ebb135c3fa7590fe9416
input_heaps:
535558cd1d6aa4526f469e35299f792644e559b9
2b4187bc161d3676c7ecb02018a49967dc6a5fb4
25b9df82f9955898de3fa6be4e7432b8649fbd60
3b4b4317d9175126e83042e8b14a3cad63f66e17


