# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: cdeb80ae6a9e91ed1cf8028db2094f89bce4896a
output_heap: 70097e731790c8093f15680446addab8f80dfe04
uuid: 2861b8be-0028-43d1-ab59-f042f5ff4c60
input_heaps:
89c875fbbb5d9d0e7d7830b39525c64c1be448af
34b353047794b0c2d571f202ffd31b8d97313401
94f7f303608dd27309930b956962f22c22ff3ebb


