# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: a7d9eb02b4b613e00e0cebc1b8dbb395bcbf868e
input_heaps:
29da2f23179d57a846638571d6a47f5129270b51
1af047ad3a6300d370f1c24ae4b47a646085a2da
853634a9e790502c1e5be3a593c83c75706dc51f
239aa8aa601e2dfd174bcb0610c4f1b33d2d9740


