# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 8c33a0fd617fe61ac3fab839af9654b0730dad49
input_heaps:
0ca3541890e85917e61d4eb1b72fb2facda5c940
aab8e5e46304aa7fc190d3aff0013f892253e042
89e6978f83d6894884fb27524a3930891af11752
36a91d89ca534147ccf137fd85b1e28832e4d555


