Tue, 27 Apr 2010 23:11:40 +0200 added some further problemetic tests
Christian Urban <urbanc@in.tum.de> [Tue, 27 Apr 2010 23:11:40 +0200] rev 1964
added some further problemetic tests
Tue, 27 Apr 2010 22:45:50 +0200 some tuning
Christian Urban <urbanc@in.tum.de> [Tue, 27 Apr 2010 22:45:50 +0200] rev 1963
some tuning
Tue, 27 Apr 2010 22:21:16 +0200 moved mk_atom into the library; that meant that concrete atom classes need to be in Nominal2_Base
Christian Urban <urbanc@in.tum.de> [Tue, 27 Apr 2010 22:21:16 +0200] rev 1962
moved mk_atom into the library; that meant that concrete atom classes need to be in Nominal2_Base
(0) -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 tip