# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 18fb080c76b61f259ab4e5f64f0f506cf6449cbc
input_heaps:
ce9a0452154ce00da0ffbb73f7e0d0328ddcdc0b
cec461783528534b845ec3a0684d4a9324f7a9d1
ccc53c13ae6e6c1a80e95acbb02e36188691f952


