# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 1046801130194450a5524ba2aa77b6bc4c8c3849
input_heaps:
8e91ce9e5c85c38eaca3d5b4d08d643be94fba49
c2699dcdd1b9bcf528d04419d33d44cab576004e
e9c4b983cbda4b5c49e2c8c656d5eb0bedfa7801


