# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: f2e35b59a5eeec7ff7ec03c31ed0a3ba9c2f0c2c
input_heaps:
2910a4ddca5ed320a79b5d7a8472877f5003c6d9
315bf5c235bb455547dcc26824308f3938426e05
ced488fad166a3dbcbfd8e0ec07759ec8fc31dad


