# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 4caa942ebfd2429a84dc52562855172cca590850
uuid: e78f18d9-8a76-4921-b670-e641bee1e8a4
input_heaps:
7494db69a56d704462c0c0f0c662958fd44be986
d35569da02f94f5ff7cd2e9c664d515de3feb2e3
c80d28e5bbc2927140096f7baaae74fb160525e2


