# isabelle_session_info

session_name: HOL-Nominal
sources: ec4a8c3a457539ed27707ee4ad1c867cfbd2705c
output_heap: 4b905089b34dcedc954e65c52bfe5f62ad967efc
input_heaps:
b98e21abac34c1a5ad8cd46d87921a4b76a51201
57989c06cd95af4e0e65ba812990155b74c440c2
21938f2325faacea8085cc7221e2453e49023ece


