# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: bd817425d15d8d431ae0105379a055f27c8db022
input_heaps:
33af3aa2756835d884f107e94ef8fae75dd44f26
20786579ee2816af0545aef0665e350bb8e12ab3
8dbdecadeddd4ebfd781260223d4cd1cb19331ba


