# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: a3f9ec5634c6eb13413715b7391a0d3b611a7945
input_heaps:
0b626e6938141b2b0e8fa8a3fd9f95471d3882b8
e3cf6887fe99455fea82286dd973109bce34d1da
b454f75d009765d0890766859b17506f1360a5ff


