Project

General

Profile

« Previous | Next » 

Revision 80bbb363

ID80bbb36313d7ff9892a766855f251f840ce0607b
Parent a2cd9f2a
Child 993e31e1

Added by Christoph Egger almost 4 years ago

assume parens when parsing A(φ U ψ)

Example formulas from the benchmark seem to all have parens so assume
they are there

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences