# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 831028c01d1d91d979bdca0898a98107cfff35f1
input_heaps:
72d959b88935c75f81cb214c2197e07f2e2018dd
20319853e27a7b15be3ad52a54052b8ae06a9c29
d8b56849e96e7d7709a40dee0cbffe7a6ebdff7d
d4f1c228a9f5b450a161ba822ad6e208c2366223
82ecdbf9661247007c47c66ad73a9c6c66a3b1d4


