# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 49ec696fd1c219b22f46730651ea32d45317499e
input_heaps:
c0c11954fca45e94d806b43eab333f8d62bc6a97
20699c095779a1345da4b26e779cd64939d1a74c
b4a742ef8ec17db9f76ff93c4d05bfef70af6d64


