# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 62dd2c5dffb0fbb5f7599e4ee2b1797b9aa4ed39
input_heaps:
381eb638d080047e383b4173449e80c0994bef3b
99f9932f08c3504e205a3588116abb3fe7dda7ef
0bc18322dbdee4ed39396dff927b0f862eb3cfeb


