# isabelle_session_info

session_name: HOL-ex
sources: 96c06e23bc2fb31c4e0726f97369952b084b46f3
input_heaps:
39541dc42102d8fbdda144a4ee678e8e4448af7a
6f38a31669f34b20d338d9eb8d66bf9c967db531
c36ec8ef00f01a4e2bd4b25f5ae1dc872b72b08b
568031013fcc991cabb846ce8b2e5e264e5c1e29
b957f4a816675490b36da6e282c38270beec8042


