# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: d67a9a99a8a1b4db13163b5b883ecd13be887901
uuid: 26d69413-b082-4759-a785-976624b31200
input_heaps:
9b8ffe94a37cb7ae88c6a0b5fa799ce2b573a390
5d260ccc8b85a4358fed6437849656cd81132922
29741b3ac991f37d47218f461f255fc8ff6f1ab3


