# isabelle_session_info

session_name: HOL-ex
sources: 9f65a53c3c9d43bcd33b1082e3e4ad24d8ac25f6
input_heaps:
8312a1ec7af45180b3c2b2d217aa725a2636674a
f4822cea02f014661a0060ac932d6045578bcc5a
c10f2a4bc5d6d5d38addc370662c67cc539ae092
eafc107bca840ff07eeb8266da1a251663f446e2
f2470eebe73a7837efdcd3ad0390b7fd26fee4a0


