# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 86b2fa295b17ab1945d2c2cbfc2f916eb1096067
input_heaps:
8bf312bdadee5daf8facd55eb1fd3c8949cfba8b
7f27bfd5ff52a522c1ae591bd5bdcdfd37e380f5
87baa7656c81f5d5f578a7519ca8977b951f9da1
ddf5945647a867b5e050c8c0870c57f9454f5411


