Project

General

Profile

« Previous | Next » 

Revision bc0691dc

IDbc0691dc0e8e30ec17cc41f177371b37256d0fe4
Parent 2d58f46f
Child 1a213985

Added by Kristin Braun 4 months ago

translation only uses subformulas if their negation is not a subformula

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences