# isabelle_session_info

session_name: HOL-ex
sources: 758253e034f6839be511ed3700a59ab1160ad2ea
uuid: a380c44e-1717-46ff-9428-f48aa8695dc7
input_heaps:
a5086d29dbb3569e49157f03765007c8bb3737a4
079bb0e482226665fc24021353b53387cb6158a0
c06119fbb050747950d221a8f810d9bb34960724
6dfe89d808d68536452ed0cdb671d0893e3b008d
20174b6225c6f0ef6637f9cff1ad1c4bc5b5403f


