# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: db6f84aea092502825add62100dce87e50d9002c
uuid: ef27e6a7-585b-4558-9c9e-241ed8d9d37d
input_heaps:
8bf6d6c4ec5c362fa65ec69b5eb9f99879813db6
d114ea8585affa1ead63c6f741e34ff76a13097b
4faf6b00802707896067e638aaf905bcd2ebc892


