equal
deleted
inserted
replaced
21 draft() |
21 draft() |
22 :10000 and draft() |
22 :10000 and draft() |
23 max(::(tip~20) - obsolete()) |
23 max(::(tip~20) - obsolete()) |
24 roots((0:tip)::) |
24 roots((0:tip)::) |
25 (not public() - obsolete()) |
25 (not public() - obsolete()) |
|
26 (20000::) - (20000) |