# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 12dcd5b8ea5602785daa555644ccd8fa3242cca3
input_heaps:
ff9ec311f2965b5256157dc51e673f62af8e5ca5
10a38f173e27565186798ec789d35427da220c73
cc42b766d4cd57f746d106a0a291f1db63623fe8


