# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 06333baa9de05e6aae2794d7a99fa30c0b8b2ac4
input_heaps:
5d5fbfd4ed5fbb1ecf13b49403bac52f32b6abc4
120f0435dcd7ab89f555f527fed2a2195d4e18c3
3f8e586fae3f07b0e8906da5f25a910481db95c1


