# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: a6bdce827dcc65548d48187f1160adb948aac0c3
input_heaps:
55985286d4b602ca5aea2674b7213139011fefc0
a7c04ff07535d0dc83cb9a37cfdf185725166ce5
16a6f003beb1b8bbf9fcbf701f7fc78de7dae3c0


