# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 3f295f751104a89d9841da5c9f2d3b189036f75d
input_heaps:
1d849f65e40086cfa647d5ebc591e23f461aa5f2
8299fc860ca605d42055d4569ce45da8c35d31f8
791b72dfea4fb72ea09125b6383f1cb7a31d52b1
85e5e7d24d82054857e44017a032cdc02ad96fd4


