# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 292d6ccef35cf7c62b142157fce77db30bed1a72
input_heaps:
a8d5c9ca61de74e10950cfaf9fecd9e6fabf5841
a64f98db3c9379272984e84809c17b6f6fa62132
cd07801bde7936bcbdfc32c38589f055f5732bd0


