Wed, 27 Jan 2010 08:20:31 +0100 some slight tuning
Christian Urban <urbanc@in.tum.de> [Wed, 27 Jan 2010 08:20:31 +0100] rev 951
some slight tuning
Wed, 27 Jan 2010 07:49:43 +0100 added Terms to Nominal - Instantiation of two types does not work (ask Florian)
Christian Urban <urbanc@in.tum.de> [Wed, 27 Jan 2010 07:49:43 +0100] rev 950
added Terms to Nominal - Instantiation of two types does not work (ask Florian)
(0) -300 -100 -30 -10 -2 +2 +10 +30 +100 +300 +1000 tip