# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 8fc9c62ac867719ac91073959af6c78f5b7306e0
input_heaps:
8312a1ec7af45180b3c2b2d217aa725a2636674a
f4822cea02f014661a0060ac932d6045578bcc5a
a1e730d8f6c6b8d391c4de8d34114345842d398e


