# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 5d5ebf7b95c201226e8b4636456e84784272a5ae
input_heaps:
50c1749019ca8e9ffc93963cc99307460c2e0e80
52a64cfec0259bfb8fb24d12fa7de6a2d1ccd80f
404e02743c1e98bbc8f948501c175a1ba1e95cd9
b6837cc3ceaf8b7fbc18e1d372ca78add8aa6686
cd18cf47b8c15f60cae319c9feb6c430b0fc3ba4


