# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 13a915753eb5cca8218dbab7003234f7612e5beb
input_heaps:
3ccbed440c9bd7d46a54c67425d7713af8496493
5f9161c41302528b2c07b1beabf562853d8bc07e
70418238d7b98064e69ec8df8552cf1bd0082ce4


