# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 9a875b7a9ab243df9f9afbcb257ceea8df76effc
input_heaps:
cd0e912ed62b565f923447ac15920f01cf16e661
978022e567c2431ebcf49bd9b03799e8cb79c960
f5f718b6bb1e63faebd1e5912d0605474f7dccc4
8cb09fcd1e7e93ed0d8abf4b9d1a7404495ff178
97fca4568e44327a1f1748068990157480f98e92


