# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 523e96c8c7703e794026cca3aea99acae2ec29d1
input_heaps:
ac9d0f03b401bcb9118f647e2b13c9614a77477f
ec03fea6e4cca0df6230df865e1726404604ac8c
8e71f09dba1cf772fcc34127855ca3df38f65207
a716bf92ed054f45dfa51090edc2f4d32b0f36e4


