# isabelle_session_info

session_name: HOL-Nominal
sources: ceb9c35491bbb67d6fd4ca7c25b10a3af85419b4
output_heap: e6f9aea67ccb01fddedc6aa326d2ce8a829a0627
input_heaps:
4956d3a123f88ba684168ae0f47e8c5c96d9a8f0
9f33b4191f60ee90bd8923d099bfa6a3e9a7d12e
efdc2f1a465a1adf08c61eccde1514b82a34d582


