Merge proposals

the Natural Deduction LaTeX Package has no merge proposals.