# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 3a04b2c8b09b0506cf3d7392a2186f4ac52096f0
output_heap: 4745c8303512bef1342be415bcab77c877851625
input_heaps:
5edcd5c29947c92ff6acaada6d85dff99035d300
bd7565838d12a9c7d88a8fae92e320ad178d24ad
0ece1e32ee998812974b3d486c9f352f8e96ac40


