# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 7b308d3698cdf1e3a225d55667a00fab768865fd
input_heaps:
0a23064c34709125a075cd68ce8f561e647f6953
6850f216aafc89fdeddfe90aae02e1cda8df6a36
d4244c8c8b45f34e99d88ce9efcf11cfc8d66586
35e0c003f61cdb6fa560b1d0e657cc3b8733556e
1b75fddb2b6dafc4f108b0d9153242f23ab03a22


