# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: b6f170d1566b50b8ad04b52e81041a2b916b1377
input_heaps:
758b729ccbfa98531a6eb6776e66f1a1a3ec610c
92ab57e63ee297556fbd9e43386fc819dd331643
a016a9e1536ff6a84fdfb25cc3c154425d9e666c
cd46e1ee09644f8be748ead17caf12be036da3eb


