# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 1bb9a5c7f55e1430a62382e47715e6890f9d3705
input_heaps:
5234d5a5043eb9f3e26897b36f073692111b110c
b91e791daa16209e13166716aa8f901dce4a31bb
5fd5db6d4fd4a29db13ef85b8a8748db5abc13db


