# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 0ed10b5369d65d7eff28e679af4634e8677f3ad0
input_heaps:
a6fbef6a2193c181a33d1e950aa3f0abd88b68a5
3ca6854da93018cf5a079fd9b5bb5197e0340c09
928a911a6ec4d418f5a8fe5e756b18387ff99bff


