# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: e7e32c7d39058ee142ba13de555253c24f2ac355
input_heaps:
5854d6758689c83aab18dd02aba520db4dc6bf79
c08feb1745cb050bd06411837cf1536009c8c293
7c1de0903040091d1e09c534ba1ac732accfb268
265917b426dcc0292a522f4309d887e57b5365ba


