# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: b8e35a7e421e487b2639182ccb4a8c9a79a1f2c8
input_heaps:
4c1c895207ab9e683ba172ce2764b942c7875d56
b18a5a4f54c33dfc5175f5d8feb995cc7463605b
da5c9424883b2cc4d138889d75bfb1bb769fce3d
3fd811834e63f9ac5944b05f13916152d35a54a2


