# isabelle_session_info

session_name: HOL-ex
sources: 03079d01d57dfd658f44be2ecdc31deb60bf70da
input_heaps:
34c3d73a560673e85d6a79ed679f4ac127002b9c
cb7dfd709478d010b69c5220c7d782899ba3b103
1413cd76501485111dc589e55f8106f97f9eef63
81a44d5707ff9ea4a4000b82ecb3d5ac4ba588bd
7e23da468f28d9c54a52894fd1e73db87e711309


