# isabelle_session_info

session_name: HOL-Nominal
sources: 32ea4d7c96e7ac2878bad1f4f6d8325cf241fcc4
output_heap: 8df6abb6950d694a222ba1228e403e208fefa364
input_heaps:
d6c847931405fa336fce077665f38125e2e96ac1
91c0565cebcc5e75b6ce0f995c80e54f320cc221
23479072d12535e7a427f45af43c7f53593218e7


