# isabelle_session_info

session_name: HOL-ex
sources: bd6b2eb9e1ecb88e108279b5d57c7571867a1ab5
input_heaps:
3e4e9593d539b8de84137329a766b1811bb0545d
8426ac7e4ebe67d06e6b6dbd3c2ea4d00a97ad3d
aa70b0b664c243eb3e7f38d45026795762d39fe7
a34e9fcc838177c4243e1a36e8cfe65ebb50d723
4090e331a7b2e9961ecdcfef4a5c86b9e31d26e2


