# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 29fa7fdadb4ed2adbb7d05fe71ac4e2d7f1778b0
input_heaps:
98cdb8373ea965ed3e3dfef923c097916f626e1e
3c331c2e953d1a5ffb421f67e6a22dc191ba1f22
9c02cf65b4881d9454f960ce45b957fba7f0c4f0
8647de72667fd1abef54b6a3fd209cd420506c95
12eb89c62238c444555d2f19abf185e2086ccbe4


