# isabelle_session_info

session_name: HOL-Decision_Procs
sources: d822ed88f87e017a92636697e3fb1e22c479540a
input_heaps:
8f0f23b1ee8368666f183b49cf0e04597c11b03b
51aaedb747ba6214463c72ede31cf3271ddeb463
d78ba66e93e890729f45436e57b003a4582e2c4b
71a75d989f301506057bf54a322c0503cb92477b
e9469186c5b0d949bada2c5b6bfe3d32eb02d9f2


