# isabelle_session_info

session_name: HOL-Corec_Examples
sources: fedac8503ca9c06c2b4f815f08c64a4a02ff8e18
uuid: b2f80ec9-32a0-4b3d-b4f9-5a2542a85b7e
input_heaps:
a5086d29dbb3569e49157f03765007c8bb3737a4
079bb0e482226665fc24021353b53387cb6158a0
c06119fbb050747950d221a8f810d9bb34960724


