# isabelle_session_info

session_name: HOL-Nominal
sources: d059f2205facada0e7c10e3db4cc3cea4c997926
output_heap: fdb84be237a9108c3a4ac092a1290f9fcc61ca1b
input_heaps:
425050c979a8d54247f86c7dfa44e6a498adfdfd
1f89f62b2b5f45ced70bdc8c7ca677aa7e6acb93
ed29f35d0b99a35bf56527c7405c4d1433071668


