# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 35d3d3f3a90d02c03f6a1d22467fa1f8b1203105
input_heaps:
21cdc0b7ede6607d8caa98ee660803e107c08204
ca93c7ffed152f60f4df396467306a3c15d49576
6278d5501ee14082b79a0070765b0348db4ebbf6


