# isabelle_session_info

session_name: HOL-Nominal
sources: 2847cfe75335dde6583f648083f0bc7f2fc685ff
output_heap: 39302857def6eefb49cab9615824086e8d3d8376
input_heaps:
b8fcf8b70bbd7784c887c97c24c8d372c7a8697f
771d3a59b10f66de11250785c5bd7311fa4a8612
fab52d600a5e7277c82c2b29f626f360e64d282e


