# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 5d64beb85f783cc4a7770cf3976b16183882e356
uuid: 6fee5aba-50b5-4f7d-abcf-19c3e409d174
input_heaps:
8c2ad67f41d2a030f0393e2fbd1c88a540b55845
2fa6c96befd2c17f29a768fc6a6e8049b259612c
afe9b182c73590f2e05ad114e77c26a92cd17145


