# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: f5b4f26719d56c1ed4b0e17a76dc0eb115abe133
input_heaps:
2249b0d89886ff8214405b7965757b42916ea82c
12bc458ca344f53430a1e4754c839513e4c16e22
ad188def4d373fa69bf699211e1aabfb061c18c3


