# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 09c5f24fd5023957de2932abf7f5c02023fe12a4
input_heaps:
2131b1cb46315d17e82a3677294e3138c3881479
d1f7a315b4429ff32f8c605d5e735ca3166c16ea
188d7ff0d85b5c50accbea51faa2d64f7c6305b0


