# isabelle_session_info

session_name: HOL-Decision_Procs
sources: f334d7b9bded619801b8e5c53327e6b7ca10c89b
input_heaps:
3c46bd8b58900339f0224e9308b09b20a89e5c96
6e62e245d40a14874522793008aa9e192fd80913
24ebde335a22cd2a8de6dca86d3517e101921485
30d75088a5bc2ba76dbb657159949dd1ae94bb9d
7eebf9257fc9b24036fbe56dc3e5817b6e13943d


