# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: e4b805affed485040ee0f06c4fddf5d1e14eab92
input_heaps:
35a6500ee753652c800a7917e32731ca9b81ba08
09b9a8ab7b35d71c17424618f69192731fdaeeca
ce721d3c4091d1cedcb43230d40329acf5c7d224


