# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 4152518ad262bcf5c3a876dfa798038f2555d2b5
input_heaps:
af1e669e0b71dd56bcba24adf3b86252347d5dfd
2069bdbc553872fd9e4a20143262cdd7b09dfec6
8e0843e82de9b2ac5c6064ccc9a0dc0946169aa2
198d89bb003045ef2a02ce5c9f96e85671502778


