# isabelle_session_info

session_name: HOL-ex
sources: 9c0e8b1b79a41f570a0c8c07e92f2774af247249
input_heaps:
5234d5a5043eb9f3e26897b36f073692111b110c
b91e791daa16209e13166716aa8f901dce4a31bb
f7f243cedb19960e4c82b4f78c91c66f610a3afb
296288092e02a8e753fe8214057543ca5932f801
ee9f4f0b30e130583c4cbc74a18736e792569f9c


