# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: df9ee014ffb70fe2d9221d3e8412a73ff9d6021f
input_heaps:
56380fd32791656d7213e55463b58d70b413643f
54ecb3e8fb88829d4b5afb0678ede77001a2e811
bc8c22d47936d096473b9f76ab5595d635024b8b


