# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 2e911e6823bca07086e2e77f227121fd19516c0a
input_heaps:
cc1977b678af842d5b1dae3237d4803cee7dcd2e
874bad08945295a3f50a8a972ad8755a8229eb2c
538d531378b465891c7c0d00864058f327811178


