# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 2d350c4134b248f8b00647655e1fbf1817ec0f3e
output_heap: a2d4f012ddb90d71c1226202eb18125aa8596852
input_heaps:
d68c97a199327570bbbc88bf3960f7f8ddebeaef
6559143f0d47d16e6a6701e66f7790a037da1ed0
58b1d73f55934cc15c4b14db928ecdbce9963615


