# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 5bf22b8168aa6c267af498a0d35a42ed1af39c43
input_heaps:
1dae994d72a426784accfc4f3275f57abe406926
825dae3757483ec2a6fb4864069860afce4ab143
54b2620f295f821522b54d40e2de4ebeb1f36549
b93adc1492f9a4181057c59767a80aff02b1ddf9


