# isabelle_session_info

session_name: HOL-ex
sources: d07959606cef68783287bc52b76e0eebdf6414d3
uuid: c025bfd9-386e-4b24-abbc-363b1e6a90a3
input_heaps:
99aa1dee31dfa0d453b64e417ce1ae8b896c3602
2d57dd9f95ebb02243d5cf26c23b4f5f995f70e2
338bc3c334e08f897fae0355c1fe3ae12b9a40d3
c45379b38ebe9ba85942f9815d20a36a563e7754
2d1cbe30f64aea69bae1d801dd4e1d504e13adf0


