# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 6af861dcdebb18fd1816ace87d6f0bd3495ad988
input_heaps:
b7e97556cf8de0f09d665cbad2c7aa5e6ee16e63
90bc4c22e1bac0eecaa31c236fc8ab40a62fb2c8
f18caae0a64c529780a76ec1407e44947ee6d3a4
e653ccb30f5dc443ca1d496ed8a0380173f966a9
68c5e63bfbaf504f2ff8b0af02efcfbade97bb1c


