# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 1d2b22969ccefc6aedacda9e34f70af6dd73511e
input_heaps:
a9ba4fcb27c61f2722def1490d5cc6ffd820a523
3e35f1f1494655d736fa0027db3480f1ebe85070
23620354c57eb567d552cf9b0a331e62bb638f82
0c2176984f0e14798a886f113288ca873e2c0406


