# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: a41fbf808e04cf13ec429686b41c0da567a9d842
input_heaps:
72d959b88935c75f81cb214c2197e07f2e2018dd
20319853e27a7b15be3ad52a54052b8ae06a9c29
bb2b258b49b8ff7c94ee4a10657f472470e7995f


