# isabelle_session_info

session_name: HOL-Decision_Procs
sources: a4a786a3ebd88b2a845e6a7aa7c1006a4ef9fd9b
input_heaps:
f49cf1e890799590abbaffa7e0c5e9c98594d78e
1a4dbad16379fb07baa7b947418e96bd4e956b1b
c66b87052dfef831d19a520220fd2afe457db36c
82d11a744fef4f1c8d573ee3f30bd7be8dd2552c
00e147db69e8edf65c57a17e3700a217e450ac88


