# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 9d4187c5e4bdfa4b48f7c063fe6f361ffd224a89
input_heaps:
38867e5306c19b07a2c7db9d689e995dd15f38da
f934eca5d985190f9293e0a9f9873f649485e0ce
888f18ad33e1243f122fdbb43b57733203651284
c57b3f9a2ccbff42cc58cbec5f91114f247561de
e5747aeef8f1d6c31a3ec485234d272bccfda2cd


