# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: e4842ffd8712612f1ad2221267389237775eafb8
input_heaps:
0aeaa9ce0113e5633ca56f2a1c2a09cabe613578
b10bcb97be8a4ee0d925cbf1e10b05af1bc94431
dc47f9d171630b35f2c9cdf150989bc52e936165


