# isabelle_session_info

session_name: HOL-Nominal
sources: f691816c3edcb0393e82980e71197296e4e0a3a9
output_heap: 59c09d22ad50da1098b80fe7841ad042006ecb60
input_heaps:
e73c8f63bd95850d065fbfafb34179614f242f89
69a950643537831e45281aa33a261ce80ba0e395
ff25dd5f57deaab00a5a778194aefc56cb158196


