# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 01b2e2002929b2c1ada572b1d79411bd6272a5fb
input_heaps:
b0bd15c9fb8e87ab78f957d86194188c0459f9d9
2d36f315825d6c987155fad66981d3c51bb51ca3
199d6e557eed86a06917ceb36f565dddc6ebb314


