# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 174337ebd21e9a6477c988c98406ced95470f259
input_heaps:
2323e0bcf9a949c0980c1f22cb8227d64a922d7b
c4b710fa6d0b34b7df331901656cc5e2aaceba02
750621154f972e780cdee5fea4af082c147026da
7a0891d4ef88ae38526fd01a7d1bab96d3df1fae
2153026d8661da6f9500a4bcac342c50fa8cb548


