# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 03a7150b45b3bee43c2de9c6f36a820a93381b4d
output_heap: a0ae96ecef0e7236212b7f9d9d3e36c4fe12676a
input_heaps:
5aebde8d579a4faf3e50e1d4b283942cc112c6e0
5a9b453a33230a4e204d7939f4cab09dbfbbd852
56ebac93fc92c3b5b4e773691e04d2493a32917f


