# isabelle_session_info

session_name: HOL-Decision_Procs
sources: aa38ec7033325ea968adfd11f7d63b21d62d33ba
input_heaps:
59cfb008d82973f70adacd49cb832067f1ce6d0d
1b0de3ee83d720f252fb261525717bc582dfd961
3db8bef0ba6cbf368c1c26fea82a72ed95238bb5
3eff8132b933a53290b56d991b209627a6750e09
a420793c861350fc2039c19b6c4e2c898b40f050


