# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 292d6ccef35cf7c62b142157fce77db30bed1a72
input_heaps:
48f89a5452f1468e6ef7e43148f4049bfa854994
104b44d6b335769e6a9f2ccc49d063b910fbd6d8
8e4b23b4dc16b9c94132d0a364e9714c67be42b7


