# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 2d2bc5219e5d31f93eb174e52be42f6278b3c3eb
input_heaps:
4332e5487bfb4ad6b6035d467f295f79a146463f
e78c7f04815e9fc5fe2da76f8959bd79f85ddf4e
359e5242fc8c9e1900e99b8419e9046969d6c21b
79842d40c5c7a8682f88747bcdee0f2f1a671df7


