# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 95315c1e88cb4452c3a25cc51b257af599c5e198
input_heaps:
83cc805694bc9911202d3d5491fa3857d91ca92e
1267aff52d0486a39f53972086158f862dd66e5f
91d9fe879ff89d72083b7942f9607c1fe7505dc1


