# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: ffa359f134ce95f75bd198146366be9c30399073
input_heaps:
eec272d4b5b3d582847a197d88eb3a9b19984c82
0dc95062e3492904be2f0dafcca23de748b5d252
e530fa54f7174da16f6b665a36dae5707094b488


