# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: c6b42e4942e3a26c7f372729fb0988e8ca5de968
input_heaps:
8c69b9efee18f61099e59a5c1105f587a7f8c9a0
35b3c51d1ce4ea0bc62a27bf61e30c51ec73a0a1
d422cf63d10ceef718f9ffd92af6af3b88fb86dc


