# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: b0bd40569c92ac67be28d0fdfd560dbda39140a5
input_heaps:
e739dc532a6c80e6f5d762f572346ebeb03f4552
5c6d1467eb3dbc220749df9119f5083087abde6c
a222adeaaeeac8054ee14fb02b6697a4291344c2
0edd4ab238a6b16b49d049c2b2928d9c04394870


