# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 70ef3a0b7b3834b342c4d1c106bd10eb5384241d
input_heaps:
bbebfe43e4672418dec173344261b86e1cd2663b
eeb4fd45fcdf426f1467516cb214a570baab65db
5138ad088d74c831a27bee3f69a5bbc2c68d8fef
0e2f4c585e9b48793f441c8383e6b84e171eb794


