# isabelle_session_info

session_name: HOL-Nominal
sources: 42bbaa3867cde15c2a26b52fc264d22211795244
output_heap: ab61927e19dc3f1953de6b5424e3f8620e8032c8
input_heaps:
266222d5d4fd615b66222b5c76e21b7ffca335d8
e3f2349d70353a17cdf47ae04ea2d2766e07c9b0
6d94daffd5ba40562150265e594ec713fe72320b


