# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 1559f6565c195f233ae1b269bbf1939dd46b721c
output_heap: 3a17d70a137ee943ff1f27f4736cae7708e70a49
uuid: 7b0df59d-fad3-49c8-a0ea-b995b318f681
input_heaps:
55d97443c4a73a7f2f2ba7aab617db94bb5554f9
36d19a458526829aa8e7a165ce3ae192c1c58aee
38fb11bc5871ccdebc35f672f43b799896d5f760


