Thu, 17 Jun 1999 10:33:43 +0200 expandshort
paulson [Thu, 17 Jun 1999 10:33:43 +0200] rev 6831
expandshort
Thu, 17 Jun 1999 10:33:33 +0200 renamed UNION_... to UN_... (to fit the convention)
paulson [Thu, 17 Jun 1999 10:33:33 +0200] rev 6830
renamed UNION_... to UN_... (to fit the convention)
Thu, 17 Jun 1999 10:32:52 +0200 renamed UNION_o to UN_o (to fit the convention) and added image_UN, image_INT
paulson [Thu, 17 Jun 1999 10:32:52 +0200] rev 6829
renamed UNION_o to UN_o (to fit the convention) and added image_UN, image_INT
Sun, 13 Jun 1999 13:57:31 +0200 not working but taking shape
paulson [Sun, 13 Jun 1999 13:57:31 +0200] rev 6828
not working but taking shape
Sun, 13 Jun 1999 13:56:12 +0200 guar; locale for the spec
paulson [Sun, 13 Jun 1999 13:56:12 +0200] rev 6827
guar; locale for the spec
Sun, 13 Jun 1999 13:55:28 +0200 many new results for reachable and lift_prog
paulson [Sun, 13 Jun 1999 13:55:28 +0200] rev 6826
many new results for reachable and lift_prog
Sun, 13 Jun 1999 13:54:56 +0200 new finiteness theorems
paulson [Sun, 13 Jun 1999 13:54:56 +0200] rev 6825
new finiteness theorems
Sun, 13 Jun 1999 13:54:34 +0200 renamed pfix_[lg}e
paulson [Sun, 13 Jun 1999 13:54:34 +0200] rev 6824
renamed pfix_[lg}e
Sun, 13 Jun 1999 13:53:33 +0200 new-style infix directives
paulson [Sun, 13 Jun 1999 13:53:33 +0200] rev 6823
new-style infix directives
Sun, 13 Jun 1999 13:52:50 +0200 guarantees -> guar
paulson [Sun, 13 Jun 1999 13:52:50 +0200] rev 6822
guarantees -> guar
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip