# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 422974d3eefc121415dc45afdda269f2f4a03412
input_heaps:
345c71dbd7a2fddca696d9cb71ed92270da5f86b
c87562c1061a2ff11d10f9e0af39c9aaa81a6c46
4b04c6e0802e0aad53d9f20acfd9f15ec26ebfa1


