# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 751931cd0e57878072bf387c6ab239c4bc6aae60
input_heaps:
a255efa1aa457bdc2434a521272c906f02d8e87c
ccab4b5307858796b5c1afaa8b061fbcb5af31a5
66718c4027f1e506ac8749ff44d7547d48c01640
1c6c1a8a28e9a9e25a52156d85af0b15e5dca2e7
7048aba7acb1dccc9cab69fa1c4864592c41ac23


