# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: b7f972bb60c078e8e719a1680b98195d017842de
input_heaps:
695ca0c98695eb47932bf8888d4687b4ae9fbc07
b720e9ced5bfe31a4d11068fed553167efdd58b1
b8e3bdaa78de0368ee74a4decf6597d1494fe84b


