# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: a77503b1b2e5fa5de137e6cc967643a52215f521
input_heaps:
c081b7c87e33948fdadd9c3bd5597db60c0da0f6
bd68f8fe00ee6f2978331c683c01f1c20c25fb75
3521b2f01cc64b5120cf5176005c03361efc087a
0f7f52757c686de0deefbfac678f4819f0677a94


