removed unused function
[ginac.git] / ginac / hash_map.h
2003-08-21 Christian Bauerremoved unused function
2003-08-21 Christian Bauermore efficient constructors
2003-08-20 Christian Baueradded exhashmap<> as a replacement for map<> that uses...