# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 292d6ccef35cf7c62b142157fce77db30bed1a72
input_heaps:
273806c095935afc4dbdd0f3af3457e74b254003
78173b8cac9a501f394ea1a1e14f166435a9dce2
2d044676ac578d3ade3b7fc53bf8f932a4f7146c


