# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 1eefdae561044cb094ba23476e9d68029ddc0a5c
input_heaps:
41c19be3f36616b14c5f74fb8791e46be930a98f
f738d32c8c714829016adbf642e3879ffef6c4ff
2b6d1c48343bf30bf5111de99768883080e7df1b
7b578aa3597d5739a992569d7d781e46b7fe619a
4d7d7334e7644c826c1a24c2881187ae68d56968


