# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: ddfb238c55a245df741583c9d0b4a51521e5edc3
input_heaps:
5e341a1d6191d9356afa4682b13bd70b1920f9d9
63f48e936253096d790243e19b2890f4bf58673f
503b5e41bab2c428ee976d30bb118caa58b34568


