Christian Urban <urbanc@in.tum.de> [Thu, 05 Nov 2009 10:23:27 +0100] rev 287
replaced check_term o parse_term by read_term
Christian Urban <urbanc@in.tum.de> [Thu, 05 Nov 2009 09:55:21 +0100] rev 286
merged
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 05 Nov 2009 09:38:34 +0100] rev 285
Infrastructure for polymorphic types
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 04 Nov 2009 16:10:39 +0100] rev 284
Two new tests for get_fun. Second one fails.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 04 Nov 2009 15:27:32 +0100] rev 283
Type instantiation in regularize
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 04 Nov 2009 14:03:46 +0100] rev 282
Description of regularize
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 04 Nov 2009 13:33:13 +0100] rev 281
Experiments with lifting partially applied constants.
Christian Urban <urbanc@in.tum.de> [Wed, 04 Nov 2009 12:19:04 +0100] rev 280
more tuning
Christian Urban <urbanc@in.tum.de> [Wed, 04 Nov 2009 12:07:22 +0100] rev 279
slightly tuned
Christian Urban <urbanc@in.tum.de> [Wed, 04 Nov 2009 11:59:48 +0100] rev 278
merged
Christian Urban <urbanc@in.tum.de> [Wed, 04 Nov 2009 11:59:15 +0100] rev 277
separated the quotient_def into a separate file
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 04 Nov 2009 11:08:05 +0100] rev 276
Experiments in Int
Christian Urban <urbanc@in.tum.de> [Wed, 04 Nov 2009 10:43:33 +0100] rev 275
fixed definition of PLUS
Christian Urban <urbanc@in.tum.de> [Wed, 04 Nov 2009 10:31:20 +0100] rev 274
simplified the quotient_def code
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 04 Nov 2009 09:52:31 +0100] rev 273
Lifting 'fold1.simps(2)' and some cleaning.