# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: f74c77cfa24f048b5d1abd1f58c67fd726a0176b
input_heaps:
ae96c4661efb67fa55c859aee66272e43d21faf1
df5aaee0a1fb0d2bd927fe99191fb28d9ac1e456
4c87dae7a22a56cb1a92c51c901d150667bd40a9
803b496884d3f3c107c3066d2242f7b224798aa5


