# isabelle_session_info

session_name: HOL-Algebra
sources: c66b56d4f29c75b3dc54d0d097916cf0031f9715
output_heap: 8513cd821d7dc49533dee964d162f12e1735916c
input_heaps:
afe3ac5b2f1ccd4ee39b4084c0404b49633619f4
9667bd32359176938fbbb554574cadb8629e92e6
476562f9fdc9451f3867b8cae52d2e904b5a277f
10f562a366c8ef54a19d180b653760ab936fe57a


