# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: e02f9805b5e65163013946474bda14682e84ea89
uuid: 618bbd3b-e90c-4cbe-972d-7074dc54c519
input_heaps:
728364c96560a7a14ddc2e9263f9042c3dd467e5
f9339c00e61865f047b4085392acb528fb8b6ea7
c4cac162b70d023f73b3bcd8912efaad7829fb3c


