# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 2f9bd60b7c186d05ee8871e4b5a423dde1b35887
input_heaps:
93e482badafb7e639b29de5ac13725d8a7ec9381
5707bd92e1887d676c5a1ca2756136fededea779
6add48ea4586db371a848c7a0036f265628791a9


