# isabelle_session_info

session_name: HOL-ex
sources: 3dbd1097fa2203799dbe1ad1698b3534681d883a
input_heaps:
5aebde8d579a4faf3e50e1d4b283942cc112c6e0
5a9b453a33230a4e204d7939f4cab09dbfbbd852
56ebac93fc92c3b5b4e773691e04d2493a32917f
a0ae96ecef0e7236212b7f9d9d3e36c4fe12676a
5ee5a6186627337ffc3a5765c4a0a444f63e7948


