# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: f106ac09e5cc4698420485292837f58363415ca9
uuid: 3d54523d-8719-4f5b-828f-84991785547a
input_heaps:
ea3ccdeb1f4480eff1d2d9d8612d8489cd4649db
026635fcf622a0baee3b1ebb1be23d47218acb87
9689e4977af52c1b0b41117f6948ab110719eb88


