Balazs Dezso <deba@inf.elte.hu> [Tue, 15 Jul 2008 13:15:39 +0200] rev 220
Reorganize header files (Ticket #97)
In addition on some places the DefaultMap<G, K, V> is replaced with
ItemSetTraits<G, K>::template Map<V>::Type, to decrease the dependencies
of different tools. It is obviously better solution.