fixed some errors, pushed closer to inteded firm semantics
authorGötz Lindenmaier <goetz@ipd.info.uni-karlsruhe.de>
Thu, 19 Aug 2004 16:51:02 +0000 (16:51 +0000)
committerGötz Lindenmaier <goetz@ipd.info.uni-karlsruhe.de>
Thu, 19 Aug 2004 16:51:02 +0000 (16:51 +0000)
[r3739]


No differences found