# isabelle_session_info

session_name: HOL-Nominal
sources: 65672fd103e0f8004fbab406dfcb632c5d8b723b
output_heap: 5f7b786bd024bffdea3c2931fa41e1b2747f01f4
input_heaps:
7a20346d2c9bcdb7db27edcc8f4e212d5d7547ea
c833d794d77e1e4cd4627e82381772084c282cfe
b1d6b293d50eaf3fe5b199aafa9593896d60a26c


