# isabelle_session_info

session_name: HOL-Decision_Procs
sources: cfaaf33a5326e4f786dd2ce63928a5c2b90559e4
input_heaps:
a69674c8d285a16947cfaf2d0c58d9bbaf43e7b4
d4ac11b89633f5f35324f09d3693a08f432f695c
0d5058b63e620660e39649ff52fb991ef934eb97
f78c82d8ec602245b0df9d659b20cdb6f1e96ad1
c45cceb4ab84cc936c874f42567cf11ad672f551


