# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: dd76e94180395c6abf2ac9bde881a3c9296b98f5
input_heaps:
339e0b0a0e94b9d23409a39db2839fd5b5739adb
7223a464d26784c3ed2fef948a679de14fae3487
b12220dd5cdf24bcac1f394fb0ede4ad4ee7ea7c


