# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 6db3cd469b739207f30ae914f8d5ad4d499a9cfe
input_heaps:
a5cbdbea838ef77f16e14081337468938237e3b8
5e28e41d66823be3e1e7586a4a6dd8b0ba9e5553
7ca5134ca397a873757dbfc8229abda7c1f2ae09


