# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 7a2e3152991887298587cc99bddd461c055f1737
uuid: e2decfc3-3cb6-4a2e-97ab-34a637a053ef
input_heaps:
ac41a4751495fa458bfd78a9d2fd9a8f8f097f32
eeb417e47f4f5a50d972f3ce18a01992c7556b8e
eda16592e919ee9769f2033462a32bc4b30c0339


