# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: f8a084ce844285e596aa63e5942f805c01122b27
output_heap: 5c31539334c9e8b403b71af82113fca3aca7c435
uuid: c6ba52a6-1df5-48b1-8c1b-13998fd95740
input_heaps:
f2c04b3a245c566a66a6acf19889f982d671348e
6a67644276429010a483254405a7feeda90e288f
fd453820fe958d1fee7dc97e4ad62f07a2b9f581


