logic3: STS Unavailable

logic3 defines the following Names, but STS signatures are not currently available.

• prop_theorem
• pred_theorem
• is_theorem
• axiom_instance
• ModusPonens
• Generalisation
• Hypothesis
• proof
• complete_prop_theorem
• complete_pred_theorem
• prop_deduction
• complete_prop_deduction
• pred_deduction
• complete_pred_deduction
• is_deduction