# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: abe878bfaa83f015f80fe9a98229ded315e50688
input_heaps:
99005465b294440907f056706dc01a7cdcbed98f
e401debe3cd3d8202814086cb5f8caa834df63ef
1a57a2e84004c3da646336c45678f6b06cb6bad2
5cb5a32d71d1e0e98e9802f0343849be15d27a39


