# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: b7f972bb60c078e8e719a1680b98195d017842de
input_heaps:
3c141932b8eee55445640dd8de30189be8d63237
43760af647e811dec05d47112055a1bf84003ff5
fbf3066b35edec31caba9881e696cfe9e65bfc22


