added is_Not(), added missing is_Psi() declaration
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Tue, 10 Jul 2007 15:06:58 +0000 (15:06 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Tue, 10 Jul 2007 15:06:58 +0000 (15:06 +0000)
[r15004]


No differences found