haftmann@29791: haftmann@29823: use_thy "Decision_Procs";