# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: f17f6bb489011e4a6de278f078c05341a17ab7a9
input_heaps:
1d3b7742f85f25c1c85e860702329bfabe408a8c
01689be8ff96647a44561310e2e9cd85b0703641
297d295b19479719f67a22aec165ad84278bd128


