# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: fdd5e6d00cb581fc003de1ec8ce74da958ef9303
output_heap: 6c6becca9ca8e44969dad16eeb1ed567020f8e9d
uuid: 6547d5a0-d2e4-4790-9751-22df4e0ab936
input_heaps:
0eefffb769267ab447a6b9950a69419f37e1cc3b
72c31a354f92ae40cfe77d1c9a9d10b742549e13
80665f2658fe53539a5683772d98204946a709bc


