# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 9fa794545ee68b0b3d8d5472cdf7d54139491f9e
input_heaps:
bd83b15e1e0e9039a1a1655585e69901cdaa3f80
e4ea8cd95193acd87d6b106879f9d68d28c8a75e
d1789fe27bb2acdced8c4f59191cd5d99f361f8d
215355f04cca4dde1660c3ab5d59224b5e1ba9f8


