# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: d08bce3f585e4a3187877dc6b05dd080b866d74f
input_heaps:
f9ffe87081e62dc90c1b84dded3796bf70f05c5b
21f89be667256b1351681022a3ea53b9f18d7259
a0423a0118796f2f7416a6536bbd6315ab2ac57e


