# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 5e22b7f25b1f1d39398c9b4cd21ab26cb2c2bb9b
input_heaps:
e16f84d7c340d8045cb3723a318bbc6979d10b50
eff78744afe789aa6bdd15553f69311e18b4e04d
4cbb7c7f0eed6e8ce78136f79870af8adcaeef21
b951b655e3235a7eb9dc6d4d1eca495eeb44ffaf
5cb5efb376de9aac34eb3451634de373baa3beed


