# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 752a35e1f019cd8269dafe64b96bbd23c95e5eb5
output_heap: 16fe30a7249191bac43e422e4874a01d4a486804
input_heaps:
5de46abf17e2c5086795d60e983eccffdbef3cbf
8142a2c1c4e75efe740335c6e0b236116ad9d132
0aa4d3ce8058d613256a5e1c336906162edf589e


