# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 6abdb6d41b5a4c86fcea7b5b6615ddd65153619e
input_heaps:
e2bf23c7d7eb3616a6ada91fb6d55c5b24a424db
a63549e9f792e863f2c65c2de3f08035d4b61871
250b0e802eec4ab458c9da26debddd91e5310ab5
09ca5b5e6fc6ffdc00d6730fce81cb38f02cd53e
8abef0102c696b46e504caf414cfc7889860351f


