Project

General

Profile

« Previous | Next » 

Revision d58bba0f

IDd58bba0fbda47b659b6e68e68f94e9c3696c7938
Parent 4164c8e1
Child ea6ba714

Added by Dirk Pattinson almost 3 years ago

Removed Negation Normal Form of Choice as Choice is Self-Dual

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences