cleaned up some is_a<> vs. is_exactly_a<> stuff
authorChristian Bauer <Christian.Bauer@uni-mainz.de>
Tue, 3 Dec 2002 21:52:15 +0000 (21:52 +0000)
committerChristian Bauer <Christian.Bauer@uni-mainz.de>
Tue, 3 Dec 2002 21:52:15 +0000 (21:52 +0000)

No differences found