# isabelle_session_info

session_name: HOL-Nominal
sources: d553679b1be7e475239f72e60364d65ac3fda727
output_heap: 7afc2fd44fbc645e62906de725a072e1fb55611c
input_heaps:
5ed84af47abc05e6415ee3f4ab9fbfc3e91721bc
cbc18ad7ee89e59ca90d637affa8dadaa40daad4
04d402b0247d83750fec84a56120558bdc0bc722


