# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: ef46620f7ba3714ae8ae851a9a259d42c30260fc
input_heaps:
002da1eaeee52b983075830d79ddcff9707ce7a9
c344d82e960a4baceb99dc7461784008bc1b9b93
6e9ff81c77005511a698e5ecdc7eaf3b5c60c24c


