# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 2bf004a1bff6b61b0a2110f63eb6240b7a5d4b73
input_heaps:
b3638f229a7c654f6777ad6f1e506f774cc49604
383f910010c35948dbe0da4effdab2d1723a6fc9
172a9ac30825d17cd3dadca8401e56761d9b26f7
697909f94c9e9854e6c4008254e23a275a8bcae6


