# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 742bed77464bdd5a3a63eb4c91f18982e5152b81
input_heaps:
960aa29045dac4afcbcc06ca53439cc870a14802
5c73c0af1bf02f2fdf45f168079bb297a1f3e53b
726004c39f924583e06e9b7c8860327f6718c29e


