# isabelle_session_info

session_name: HOL-ex
sources: 87f0bc3bb2b0e6171757c9e3258e397fe85c9486
uuid: 187a3d3a-09eb-4e1c-8038-a7d300c56415
input_heaps:
ce295757e9128ce20e665c4f4ba08c3bdfeff815
3b15bfeb74cd601d1e7f504e7a4b04f02809051d
1262cc5026584a10c127e9b3af4f4ef395f988dc
153946ad86a6dd61f46ad7f68c4a28944e6a994c
454690c4b54eb55eb8d05261bd51eef68e3cf2ec


