# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 9d6829d264130cf0e68dc8706799871e0be17ae2
input_heaps:
ca6408f7f99b4454016625ba43704f73bde79438
39488e311972b8a2a05f1aa29af5276c9877ef8a
6390dc11a0df7d9eb0b32cff704c662efc556aa6


