# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 0d05263bcb5e47cc93a165f8a47609165d8ee943
input_heaps:
b32ac976cdb9d7611cecd21164b5d37d166a70f2
7833fe06054d8c848d36bd9abf4e4e615831aef4
2028385119fafb7bac5001679cf939790c300aad
837f2529a85fe153189c16767bda7a81c943d4bf


