# isabelle_session_info

session_name: HOL-Decision_Procs
sources: e8c70d5a63275e4df943f324de57e1ab2e95e141
input_heaps:
b3fb05f5e50942c4dcc807a50dcc11409ab39906
759571dd32091ee0444743824f9c8116972466af
05ad400047d12a8784473c927a47c6142253e609
678c9a826d19c28c5ce08a97e1e63fb11a4531a7
79c1ebc0c91c7588ecac67fc363d8987d8f38ca7


