# isabelle_session_info

session_name: HOL-Decision_Procs
sources: ca1c1f3473f887bac3f709bd59936dd1fdfd53ab
input_heaps:
5de46abf17e2c5086795d60e983eccffdbef3cbf
8142a2c1c4e75efe740335c6e0b236116ad9d132
0aa4d3ce8058d613256a5e1c336906162edf589e
16fe30a7249191bac43e422e4874a01d4a486804
f86278e82c8bba42fcba03c36e6590efb47973cf


