# isabelle_session_info

session_name: HOL-Nominal
sources: 32ea4d7c96e7ac2878bad1f4f6d8325cf241fcc4
output_heap: 14340b78f50bec6d8f64a182c8e3bb6c681210f3
input_heaps:
3dd106b0fc6e16ab72e3261eac1cce577c86ae1f
a6d6d9bfe723c3b0701e88c92e528dc9c8b3fa12
7bcd5e319d1ea2a2e971c6dc7c2c7fad20f77d92


