# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: b94cb3b00343280a2bd0a4ab929e59d9256ee5dc
input_heaps:
11861b433be89e5105729bae76faf9d9dce00490
3d74222e1a7d520ad3d0b356e7a30f85999b0fbb
da929ab02917641d8f352367b3111710a2ea87ee


