# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: c874cfe96afd3ffe97bdb0b6a2ee115ee51c9dcc
output_heap: 6dfe89d808d68536452ed0cdb671d0893e3b008d
uuid: 90e96f7d-8718-45a0-b779-ebd203818635
input_heaps:
a5086d29dbb3569e49157f03765007c8bb3737a4
079bb0e482226665fc24021353b53387cb6158a0
c06119fbb050747950d221a8f810d9bb34960724


