# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 31a9ea9a7f8ce1c1d329f2adc728cf714d4609e6
input_heaps:
848658d617e1d31408814b70d854f0969b4d3dd4
982c966f6e75dd78217f02ee347fdcbadf6f26c2
d917d16ccc38ba570c12297f3bb3196d70f93486
fad2f45fca798bbffd26499118f0c486c00b4db0
f0738c56aa8106524ebe0c85b9974a074efd8a0d


