# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 8b76b1e5fd9a082232bd574b8bf1254779af06b2
input_heaps:
524230ad8671d20113f24ca2a9fbfc3940636b8b
86cd61c2f9ffb47471cd7778ad347eb380aa3ab4
e4a704a0be839a7bc43ef7b96f4ba55040cafc5d
1f30ecbd5e754e686d6a5fe071d1d383ec0d41b5


