# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: f0d1ecf980383f8c02da0386de2b81fbc02bbef2
input_heaps:
fccc52e90296d6bc1955ae993c338f1f3bed89b4
4c8bcaaf64a69424fe927deafa2ed2aa9a0162f8
28b487b42e1c72b181770f4d6294676a7e55c84d


