# isabelle_session_info

session_name: HOL-Algebra
sources: ea0be24f850c5d2ced6609fa7ba73e0c55d34a0c
output_heap: 1d39bf44a55e9a4c6a334503ae080232a1d8c49f
input_heaps:
542cb8bf72c64bf17ee67b940a85e2465d851528
06cb9253274f1cacab108d3a867c2a08aa7fe5fc
298f1d24894815e1615775e30865add7154b0054
0ce1bb6f013d73956212e84e9e9030912a4af0b6


