Wed, 23 Jun 1999 10:40:13 +0200 tidied
paulson [Wed, 23 Jun 1999 10:40:13 +0200] rev 6843
tidied
Wed, 23 Jun 1999 10:39:35 +0200 renamed PPI to plam
paulson [Wed, 23 Jun 1999 10:39:35 +0200] rev 6842
renamed PPI to plam simplified the definition of lift_act
Wed, 23 Jun 1999 10:38:49 +0200 renamed PPI to plam
paulson [Wed, 23 Jun 1999 10:38:49 +0200] rev 6841
renamed PPI to plam
Wed, 23 Jun 1999 10:38:09 +0200 another non-working snapshot
paulson [Wed, 23 Jun 1999 10:38:09 +0200] rev 6840
another non-working snapshot
Wed, 23 Jun 1999 10:37:29 +0200 new distributive laws involving * and -
paulson [Wed, 23 Jun 1999 10:37:29 +0200] rev 6839
new distributive laws involving * and -
Wed, 23 Jun 1999 10:36:59 +0200 rewrite rules to distribute CONSTANT multiplication over sum and difference;
paulson [Wed, 23 Jun 1999 10:36:59 +0200] rev 6838
rewrite rules to distribute CONSTANT multiplication over sum and difference; removed automatic rewriting of 2x to x+x
Thu, 17 Jun 1999 10:43:05 +0200 another snapshot, still not working
paulson [Thu, 17 Jun 1999 10:43:05 +0200] rev 6837
another snapshot, still not working
Thu, 17 Jun 1999 10:41:39 +0200 new results about SKIP
paulson [Thu, 17 Jun 1999 10:41:39 +0200] rev 6836
new results about SKIP
Thu, 17 Jun 1999 10:39:30 +0200 addition of drop_... operators with new results and simplification of old ones
paulson [Thu, 17 Jun 1999 10:39:30 +0200] rev 6835
addition of drop_... operators with new results and simplification of old ones
Thu, 17 Jun 1999 10:36:03 +0200 renamed UNION_... to UN_..., INTER_... to INT_... (to fit the convention)
paulson [Thu, 17 Jun 1999 10:36:03 +0200] rev 6834
renamed UNION_... to UN_..., INTER_... to INT_... (to fit the convention)
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip