blanchet [Wed, 02 Jun 2010 10:51:55 +0200] rev 37275
merge
blanchet [Wed, 02 Jun 2010 10:50:53 +0200] rev 37274
fix parameter settings
blanchet [Tue, 01 Jun 2010 20:52:01 +0200] rev 37273
merged
blanchet [Tue, 01 Jun 2010 17:52:19 +0200] rev 37272
merged
blanchet [Tue, 01 Jun 2010 17:52:00 +0200] rev 37271
update NEWS
blanchet [Tue, 01 Jun 2010 17:51:41 +0200] rev 37270
fix Nitpick soundness bug regarding The and Eps
blanchet [Tue, 01 Jun 2010 17:45:28 +0200] rev 37269
added examples/tests for THE and SOME
blanchet [Tue, 01 Jun 2010 17:28:16 +0200] rev 37268
cosmetics
blanchet [Tue, 01 Jun 2010 17:04:21 +0200] rev 37267
adapt example
blanchet [Tue, 01 Jun 2010 16:17:46 +0200] rev 37266
fix code that used to raise an exception if bound variables were given a finite function type, because the old vs. new bound variable types were confused