# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 6c6c11e87c34a5039f5b017ee9583bf4f1a34cc3
input_heaps:
7430d2c0a1b08934e5f6cb35e5fe155e1341f0ec
144a96b403b56eb57a7d98fbcc98662a2732b6c9
e7f2807964d294b1bd82041a5dc1295b25dcfe01
dd96e27adcd3a501fc70688a067a9023709c0aa4


