# isabelle_session_info

session_name: HOL-Nominal
sources: 350e040cca7d94ea1718d5f741ddd526fdc49b76
output_heap: ff164ff055c1abe3950fd086801ba45e0490d214
input_heaps:
1e8a5e75562653ea4f095e5003b29df3c0c7dcba
bd3bdab246ba0ab9f1962b0a2944f493b5762d24
372df32c625361f1e83656ec6db64bd7ad1648ff


