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)
Thu, 17 Jun 1999 10:35:01 +0200 many new guarantees laws
paulson [Thu, 17 Jun 1999 10:35:01 +0200] rev 6833
many new guarantees laws
Thu, 17 Jun 1999 10:34:23 +0200 moved image_UNION to Fun/image_UN
paulson [Thu, 17 Jun 1999 10:34:23 +0200] rev 6832
moved image_UNION to Fun/image_UN
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
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip