# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 2e5e0c82a302c3600b844423f09ad93c61f0a57f
input_heaps:
381eb638d080047e383b4173449e80c0994bef3b
99f9932f08c3504e205a3588116abb3fe7dda7ef
995d967c71b8ba37e4c681ef329dc5e48a187c63
85db0eb74375624bc308b166fd3bbbae43b6c0d1
824b5d447f8cfa7662ab252f8d92e8d4c6fc72f8


