# isabelle_session_info

session_name: HOL-ex
sources: 2f79c441c8fdd4b680e6db26bff1e1c69ac3e718
input_heaps:
7a436e51f62a42a02ddb55d4319a81be06759b89
c799ba9bdc115a3ecf3b5996f3e7bb7c44ffc380
a8634ea01c7e9b62d05c81327080474c4ccf366e
1a61c29bddfec68f888ed433f0dcc2eb8dd7e5eb
a934ad7d2efba4add3a2eca1841d25d74d4b3362


