# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 8b76b1e5fd9a082232bd574b8bf1254779af06b2
input_heaps:
0bf2a27c0ff6a611e74bb01f6f32875f555cab28
92784c842d19725f296c8ccac91815ef43f559b8
13eee65bc2c09ea580fa7142d5900818dc646c9d
4b09628f3f9830328653a0b2ea9bf69c7c1a653b


