# isabelle_session_info

session_name: HOL-ex
sources: c39d8f2d0ba16f238e87b0cb8f6fc50f87c4ddee
input_heaps:
65b7e02b1e5df641da48590b928c3fa43efd05fa
285f8199b18e375e140801c74b6101ca4dabdcb4
b4c255afc532a046995117c4d85461048de04cd1
b12742b49557bc4c990a793f35b757db25674ce6
536a868b6ce38a733d62bf9c44a8d1b6cc01782f


