# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: ba37975e552e715389d9d60c29b364ba3f1dab3e
input_heaps:
9fc0231edcbcd095545a9bd9f3a47031d632be92
e439953f9939172fd7e2e9138f9265c34414095e
311c1ba1613a2e0cb3839021a96e71d4a5ad3823


