# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 8d1557cbe6a67db948122e2b6229ed88e41d8bf4
input_heaps:
f5c535eb8e289f9179f2cd93b57b66300861cb0f
a3bcb999b7efcff01c5d291a88ce943b9de5e75d
ff77e3a74010a7543bfe696a416e7d6fd5293403


