# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 5d346aa7c4d76640c8677fdfdff85c6e45b22181
input_heaps:
5ffc74a6fdec7bdb71855f3f0a0d77854f9c3951
a259c391382cf082c923600c014b6cb41321a7a9
76fdf2fea2a32e607bdc09e3a2ed8e15079ebba4


