# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 5647b396d1ddec6a293aeb0b632f1d2ad30f766c
output_heap: d6a2507806c52e50124d33ef10de9bea4c136f49
input_heaps:
24a02e746c61040204a8bb5050040c0249134cdf
94f56250bb4f3fd3f203368dc609dc2dfcebeb97
1e0f3a00b78341e1712801ed0c62b2e5452b2dde


