# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 606c3d02ccad0799d7f7197c8c8fc4a03c0c2d81
input_heaps:
7453acf374efac985c0e19bcb736d8cc1aea29a8
bf7e9279f03a83e0c69488e2c43a9230106e77d7
8b8792f77c49a18ae1b7b0f927a93f1e68ce5d2d


