# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 631ce77f0291c9cae0e01e9da0706a255f025995
input_heaps:
9f2f5e34e8f76db58300a1377cba6b70f5110513
16c71c099f3dcffc4dc2c0b8afa759474f673638
32e3dabc0462851804f2ea7cfd55684b1a13fc48
85f71fad676e40e7f6717341154533638fdf2474
c94d30de9f22d23b34dd6cf9b3caae051086ae29


