# isabelle_session_info

session_name: HOL-Algebra
sources: 5b44c2460a821514e39d19c7aa828cce21835bd5
output_heap: b13b7884f6e77d0491900941a22d20110620d783
uuid: cdb6c31a-5e05-46e8-8360-d78e345ccf2e
input_heaps:
a5086d29dbb3569e49157f03765007c8bb3737a4
079bb0e482226665fc24021353b53387cb6158a0
c06119fbb050747950d221a8f810d9bb34960724
6dfe89d808d68536452ed0cdb671d0893e3b008d


