]> www.ginac.de Git - ginac.git/search
cleaned up some is_a<> vs. is_exactly_a<> stuff