# isabelle_session_info

session_name: HOL-Nominal
sources: 94c62f8c48cc1fd496904db18b4c89482d71201a
output_heap: d9fc73a78845016dfc6de83e276a7318b14e2ec0
input_heaps:
ccd5a1012750b588259b9982c2bc588bac89f30c
78c86e253aadfdcdb820ae113e906428549ce708
bdf1a31163d0319c3f9cc80d4770e74dec170cd5


