# isabelle_session_info

session_name: HOL-Nominal
sources: d553679b1be7e475239f72e60364d65ac3fda727
output_heap: ca0df7ffe4e1cee55df13f91f1b66490167b4304
input_heaps:
50c1749019ca8e9ffc93963cc99307460c2e0e80
52a64cfec0259bfb8fb24d12fa7de6a2d1ccd80f
404e02743c1e98bbc8f948501c175a1ba1e95cd9


