# isabelle_session_info

session_name: HOL-Nominal
sources: d553679b1be7e475239f72e60364d65ac3fda727
output_heap: 6757bc8f9ae953fa9ee0ba7045ae3566f17a9d1f
input_heaps:
3a3f17a4e13c09032ff1d9490f442ddf7d03ef10
4c8c1f181a77f6728d263aba6fdf1897c029c916
349cd2b1812f5743b9dba24f0cb217f541b1519b


