# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 5ba24fc26a9f73d5e4eb0035fccff493a4692071
uuid: 2ec711a6-4c15-44f6-8d0c-6d991a14879f
input_heaps:
a94bec1f1afbee18cdd2d9a64da35bb88b4c4cda
5ef5c38f9ed83885f23f9268d0c06906c1a7541e
efe12fc081a3f1ae608bd25c3ef639e7e11e6890


