| commit | 1568addd24f4f322b97b6d0fcce124b312431e0d | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Jun 10 19:41:15 2010 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Jun 10 19:41:15 2010 +0000 |
| tree | 3862ceeff530f1c1be6dd497460aea14f7606636 | |
| parent | 5bcb09402b2734161c456b67853cb242c6e19b71 [diff] |
apply de Morgan's law (I think this is easier to read now).