# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: b7f972bb60c078e8e719a1680b98195d017842de
input_heaps:
38b81108fc9bab9389da9086abb8d14ce3c1258f
4f3f3bd10add62b21d7fd4c2710a841329f19b6c
d81d07556c5c455c32a3c10125fafc2dd30a50f9


