# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 7c7dd3ad649f3a98afad327989718ea337646c8d
input_heaps:
fe1281de5d7780f272aca589ea23aa21095812b5
b0fbbd38fa9ab2d8baffe811a6d340106ce50024
6b124e868f16608326056d69e6294970b4fd8ad8


