# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 1374d67438cc263317551344efdbb48e069b0c4f
input_heaps:
675319d71f30fe1113ab62adde844862bf61566d
c1333403c22dc8fc0ae4e661507a58bdb1e66a48
c39c60499826a087a83bb1d42e7a0669915b9345


