# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 669bd321abbc2c7aafb6efb5f42ffc277b5a53b4
output_heap: 6adfcbaf48ff6ba9b7cb0ba98bc3896f2e3781db
input_heaps:
314b2178d6c03158f9c84b2630cc69b9a5064111
9325af987c821775600f0a5773feea39c85e86ed
e9e8bc6ea122225977f56653d3af82bedf48de4a


