# isabelle_session_info

session_name: HOL-Nominal
sources: a44bf2e2519133345e57300d1a8d284fa3081502
output_heap: 5291711975cb873ab72b561ec96f3686d263ba05
input_heaps:
bae43dd2951a6b8e1263e49c814c4a696de4b0ad
fa7786099e4357d1af728bd041479c3ee700c993
0422ab9fcd909a3369a99b1572da4faa1a9f0d86


