# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 20d4f8bcbd2a45c6de0d91c0c6ff5c0bec4c0b3f
input_heaps:
a8c309eb0c8fe4f6a33a13b2567e40753a5dcbed
6149c49ee16c41d819ea05c303469743157239e4
c6536c63464920aafaf356bf5d0dd28872a39b9c


