# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: aa7f15b7276ae94054378b0e227746d38ad626df
input_heaps:
0447e8f5f417255aa2e13691341cd99ec9daa58a
a17b66d8aabbb2fda0b260137927a648a82993fc
dbc601d3cddb98c636d21f6faf50865a4f997176


