Mon, 22 Jun 2009 08:17:52 +0200 haftmann merged
Sun, 21 Jun 2009 21:46:07 +0200 haftmann code equation observes default sort constraints for types
Mon, 22 Jun 2009 08:00:46 +0200 haftmann merged
Sun, 21 Jun 2009 21:37:24 +0200 haftmann more precise computation of sort constraints
Sun, 21 Jun 2009 19:19:52 +0200 haftmann merged
Sun, 21 Jun 2009 19:09:31 +0200 haftmann merged
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip