# isabelle_session_info

session_name: HOL-Algebra
sources: 0ad01025dc95bc202a9bf35bea37a0584b42454a
output_heap: 4699e212415127df01be09c98392c7ef2ae59090
uuid: 9556e6fa-13fb-462d-8db1-95ef5097de8b
input_heaps:
55d97443c4a73a7f2f2ba7aab617db94bb5554f9
36d19a458526829aa8e7a165ce3ae192c1c58aee
38fb11bc5871ccdebc35f672f43b799896d5f760
3a17d70a137ee943ff1f27f4736cae7708e70a49


