# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: a995287cf1c739dccc21d389b14288823045b27d
input_heaps:
b7e97556cf8de0f09d665cbad2c7aa5e6ee16e63
90bc4c22e1bac0eecaa31c236fc8ab40a62fb2c8
f18caae0a64c529780a76ec1407e44947ee6d3a4
90ec2264f0af0e78fd0a5fafcba59066a177d51a


