# isabelle_session_info

session_name: HOL-Decision_Procs
sources: fb40b16751c1652d7e33301a03ce957381e37ff6
input_heaps:
e6482372651d25cfcd88b33f1b222ef5cdb71889
fc0e5d8b4e796b67ceabc210f27e4a4ee0999ebc
aef5ff10096fa0ad7e3acd5dc0607ec20af499b2
b62b075c5e7da1d12bb113c85eba987648574f36
b5ed4164714b4cfe382d29a2af41fb386e0e335f


