# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: dccd4daa41301eca273ee04218068627bc626058
uuid: 745a0c29-a182-40c9-89f1-845124f1a398
input_heaps:
56c0177230dc66ddc7d6302fbef34f62e09451a8
843e8f73aff032c37e1b1ade7b8fb3a2dbe74cf5
e11c7fecc128f470a8f245f72e112cc8d51ab98e


