# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: f0d1ecf980383f8c02da0386de2b81fbc02bbef2
input_heaps:
6d2b45655ce44081c131f14d4fedd2d1bdfeb50f
e788a9cf233d6b653b58bf56bdf77b51f02134a5
98588db4ab6b5e6208215170d0a8d4bb23d5ff83


