# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 89da70d1ef20283d4091a5397c74bf90ab682327
input_heaps:
74e744b09b63a313ef3c6c28f69fb3e17cd7369f
2cb7c328d0966d0aa485dd673e34df1d139d2bb8
bb494193511ef34c6affcba4ab6c5c6e6e022080


