# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 22bff4ece15509b657286de3f0f8e458af725e89
input_heaps:
121670f361dd7baeac5619349401865bfcc8ea95
84808ddc2b8d6f62c145501677fee680559f5790
eb29342d7df07e4b2fb857abb727e74e933931ab


