# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 0637cd9058c4f5f44dcf7ddfb1c9ae03f3d1d04f
input_heaps:
32e67617b84c9c11cb8188110a1a4623e5435f37
4cfe04fff283b1f341f7b2f228821a9a87ea40ea
089e08bd04413689c9c2f25359f75795d5eccbbc
e869bf264d2644de6a1837b0abe2d467e1100126


