# isabelle_session_info

session_name: HOL-Decision_Procs
sources: f12639b3e84652d54f1cb66fc56d1101bba1253e
input_heaps:
25b0ff30768df4fab02e9aff76d0f45f128d63ca
6013e9b2873d320614122d686e65ea49474d2dc4
c209c1421d0dc42df1c80758ad0da4342656b3aa
e9226bed6478c57124b15dcb70441863366eaebb
d908cc2fd3b1a8254a1b9a73ec764e29959efb81


