# isabelle_session_info

session_name: HOL-Nominal
sources: e3133bd075f9e354531b72763f485b5616f3b822
output_heap: 6c366fd5976b06068f6a7b4ceee3efb6bd0f0fbd
input_heaps:
a9b7dcae088578d8605a3e1d84e889eeccefd72f
b4ab1f59b08714a73123cd49dab856a7d2781a8e
a55480721eeca3c9fdf2808db109939f1c898854


