# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 4b70e7d85b19423ce20e1a282b2dfcb6e0986d74
input_heaps:
7116a09c3302476e267ebb87e641eea8c606ca65
6b7362b3dd12dbe0eda47af95af0df862970b0df
87d3b5c85652583d07a2b6b93485a78e1a9c8732
4255af70017f29bbf97c4360079f3765d1f546f7


