# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 4cff169ebf6a2ea46b55a7c6f6089740d2017a5a
output_heap: c36259b2c296375ae504aa6116e85200baee05ff
uuid: bb5d9711-beb4-4f01-a551-16ef47dc4b6a
input_heaps:
4348ecd95d08b83381d65d778dc99414fdfeb2c2
a77f4df9e49ab5de749eea6768f2c7722537ebe4
9309a27732761fe284cdbbd5c45863a9dfc6c5c6


