the Natural Deduction LaTeX Package

  1. Bug #156940
  2. Comment #1

Comment 1 for bug 156940

Revision history for this message
Dan Watkins (oddbloke) wrote : Re: Two adjacent assumptions causes breakage

Bumped this to critical as it affects _all_ disjunction elimination.