# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 0a53fab3df97d30833748362e51788a6bf8ba755
input_heaps:
f632fb1d6da65e568b647458c2425854ecfeefb4
553c29b8f85b5e7829a63b8ac86f1fd7bfc17324
85687cf7cece2255b743d559903d7837eb2f2a8f
71606cc566006ad9a53457ced037bc81961ecb3b


