# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 31a9ea9a7f8ce1c1d329f2adc728cf714d4609e6
input_heaps:
634a34b0a78430c8365c904b4a02a2bae50a7baa
da3f4711496f4ebba63bd289462f3fdd0cd836c3
c2c638f70ff654fe12265cfabc7c800e8eca4e9e
45a13ea1bbae58fc22e2f70d474ab43e73dbcecb
aa25e36f77667a76dfb23abed8b35a48acfc28c8


