# isabelle_session_info

session_name: HOL-Decision_Procs
sources: d05444a6487c91cfb68fc3d5f478d841cba298e3
input_heaps:
fa95ed0464f30ce78a23f18378a450505aac44e2
33766297751265f96298d96dfa2ce2f96fd564b0
e3b4e0b699f05ce3febc45161dbf3eff25d7bd15
1ed6fd76347e0881529035b57b9aeb0e2b269736
57b3f6d69e18fa77f962b775944c7142bb5f9d91


