# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 4b5ac6c7dbca2d2bf317bb29d937326a3a83ea30
uuid: f65c7324-56d0-4303-ac6d-a9c7f4d57bdb
input_heaps:
9f756a51bf34e1b2803926b818ad28454650efdb
6f8c06347605fafc9c3e2a708367e9d073c12b69
e2c942b3d974ef6eb3d990b9fc22029580215a85


