# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: c574473a3841fb518a0fae7cb68ad48200c5ade4
input_heaps:
e0ff5bd6c0d373abad1c2b01c8cc9f4f059ca57e
e0b4ef556b392ea7ef408585b4aaeb86030f1fb5
c543428f075decb2cd0069a5c9f171a9dbd66972


