# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: ab3a4dc784ba2cc926eb9c6ad241a37163ddf5be
input_heaps:
4c23dca2c69764faca7d5f4195665a237a606274
a5a70e75908aaa1084fb6ce900cda62e8b243612
a3572bba2f4cdf5c97933ff35442463f56e2a3c4


