# isabelle_session_info

session_name: HOL-Nominal
sources: ab2d2b4cdc26c8915b58f0e25a833eda43d3333b
output_heap: b362c0d86a3eac86f3c9c94cbdbd57d1f6e088cc
input_heaps:
d9b2e0d22de49dc8d1d07bea7961be77a8e56816
d3a3b5f07b3b30e7761815c70e8ff3a238d6dc0e
df6f2facfe862632d7fa9f6ad7af29ff45678e58


