# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 86b37d2082fcf5c8c45def55b1187c1f8e0f9557
input_heaps:
4e82e6c0bef1be82a2492fb5f5f1be25a3feffbc
e207e4cc91f8bd0aa5ea59721de9d4c9e38fdb88
450e75f773ddac209580982c58176c731fd1a422


