# isabelle_session_info

session_name: HOL-Nominal
sources: d84a5b4a7212397d7218099fa1e6d80ed6a2d24f
output_heap: 8344f129aa817a54e01e2ab806eed2ee226d837d
input_heaps:
e331a8fae316f048422d7f7fdc239a12eab41778
1cd8b7faaca8012fb544c442bba2fc3cc8a6a56e
e6b48b35ada7e06f1992b89ed16ac9e19c53d321


