# isabelle_session_info

session_name: HOL-Decision_Procs
sources: e45869bf639428644a9b6ba972a66b7e0775ee28
input_heaps:
83cc805694bc9911202d3d5491fa3857d91ca92e
1267aff52d0486a39f53972086158f862dd66e5f
80c3073511fa1277f9aa329b0acbae7e6fe9fc69
b9e6b64592806afb7132cf5330ee7aadac8a3710
c8d1abb4cfbde54e68ac3580ceabc20a19417b38


