# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 08abdef015dfc8013f9a27a552aad528cccafed4
input_heaps:
e2fef00599d8b719ae96960a40fed04fe4f0ef33
115924f575558f617ba2ed10dc40ce0bc3b10ac7
b651b0b1d1b1049b7a532c10fb5a1371c687485c
781897b52dbaa226d290c4f769fce0a4805d4569


