# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 9e758123ea9ed8cee32c1145069274d3d626586b
input_heaps:
76e4486f4e854c4cf8ede2a4c33538720337ade6
1b25b269fd3f0073906d39c4853885ebff160c80
3b13e3743de8dba388ba5824e2aab67efa4cdf5d


