Sun, 13 May 2007 18:15:26 +0200 whitespace tuned
haftmann [Sun, 13 May 2007 18:15:26 +0200] rev 22951
whitespace tuned
Sun, 13 May 2007 18:15:25 +0200 tuned
haftmann [Sun, 13 May 2007 18:15:25 +0200] rev 22950
tuned
Sun, 13 May 2007 18:15:24 +0200 fixed omission
haftmann [Sun, 13 May 2007 18:15:24 +0200] rev 22949
fixed omission
Sun, 13 May 2007 18:15:23 +0200 tuned setup
haftmann [Sun, 13 May 2007 18:15:23 +0200] rev 22948
tuned setup
Sun, 13 May 2007 18:15:22 +0200 refined module rat
haftmann [Sun, 13 May 2007 18:15:22 +0200] rev 22947
refined module rat
Sun, 13 May 2007 18:15:21 +0200 added modules rat.ML and int.ML
haftmann [Sun, 13 May 2007 18:15:21 +0200] rev 22946
added modules rat.ML and int.ML
Sun, 13 May 2007 09:23:27 +0200 Removed junk
nipkow [Sun, 13 May 2007 09:23:27 +0200] rev 22945
Removed junk
Sun, 13 May 2007 07:11:21 +0200 Got rid of listsp
nipkow [Sun, 13 May 2007 07:11:21 +0200] rev 22944
Got rid of listsp
Sun, 13 May 2007 04:38:24 +0200 removed redundant lemmas
huffman [Sun, 13 May 2007 04:38:24 +0200] rev 22943
removed redundant lemmas
Sat, 12 May 2007 18:16:30 +0200 add lemma additive.setsum
huffman [Sat, 12 May 2007 18:16:30 +0200] rev 22942
add lemma additive.setsum
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip