# isabelle_session_info

session_name: HOL-Nominal
sources: 510eed7cf3ec2aa423bc2cefe092ef9db3f81959
output_heap: f247a9c99ff62e525164ff33fd4353dd2fce511a
input_heaps:
31bf4bac648c51f49408130bf9489829be3fa993
35508bc2877195b4acaa6a24645b77282ba20bd1
335fd30c7bba826813aac0fb24e7ebb1383cdf29


