Tue, 24 Nov 2009 20:13:16 +0100 Ho-matching failures...
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 24 Nov 2009 20:13:16 +0100] rev 373
Ho-matching failures...
Tue, 24 Nov 2009 19:09:29 +0100 changed unification to matching
Christian Urban <urbanc@in.tum.de> [Tue, 24 Nov 2009 19:09:29 +0100] rev 372
changed unification to matching
Tue, 24 Nov 2009 18:13:57 +0100 unification
Christian Urban <urbanc@in.tum.de> [Tue, 24 Nov 2009 18:13:57 +0100] rev 371
unification
(0) -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 tip