# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 9d61002ac09f69d80a07a892aced67d9ffac4fc1
output_heap: 877b76ee1c00d3248b855bdbc8eb4a20cf1a68b8
uuid: fc840233-6379-4fc2-8644-388c4425f9b3
input_heaps:
bf176a74a4593f4606195faad0fee6e7154ab4f8
647081ba81acf75d1ab12a3a72156ea7da74c66b
a3cac9d617e00a3aeb96c5476a40808551b632c8


