equal
deleted
inserted
replaced
1 (* Title: tests for rationals |
1 (* Title: tests for rationals |
2 Author: Stefan Karnel |
2 Author: Stefan Karnel |
3 Copyright (c) Stefan Karnel 2002 |
3 Copyright (c) Stefan Karnel 2002 |
4 Use is subject to license terms. |
4 Use is subject to license terms. |
|
5 |
|
6 12345678901234567890123456789012345678901234567890123456789012345678901234567890 |
|
7 10 20 30 40 50 60 70 80 |
5 |
8 |
6 LEGEND WN070906 |
9 LEGEND WN070906 |
7 nonterm.SK marks non-terminating examples |
10 nonterm.SK marks non-terminating examples |
8 ord.SK PARTIALLY marks crucial ordering examples |
11 ord.SK PARTIALLY marks crucial ordering examples |
9 *SK* of some (secondary) interest (on 070906) |
12 *SK* of some (secondary) interest (on 070906) |
2077 |
2080 |
2078 ============ inhibit exn =====================================================*) |
2081 ============ inhibit exn =====================================================*) |
2079 |
2082 |
2080 (*-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-. |
2083 (*-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-. |
2081 -.-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.*) |
2084 -.-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.*) |
|
2085 |
|
2086 |
|
2087 |