# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: e2421a69a2658ed38f797b96aa8a4fb191cf582a
input_heaps:
d7bbd02684baf956e1423f3454e2d869c3eb5036
9c726adfe089422a375fb3d23090f34ec1598542
eea45d7155d7feb5c8c9fa32b030a952126f3532


