# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 88d555ad442293652407bef88fa39f5f32c063e1
input_heaps:
f10d118b7a4a96471d6c27e51df0bff6e3b49b74
a2640329f59c9499f204e30995b1d4e80d1d8a2b
0bdcd592123a4c8af6ec801aab17bc64458a428a


