equal
deleted
inserted
replaced
7 Goes back to |
7 Goes back to |
8 Raamsdonk & Severi. On normalization. CWI TR CS-R9545, 1995. |
8 Raamsdonk & Severi. On normalization. CWI TR CS-R9545, 1995. |
9 Also rediscovered by Matthes and Joachimski. |
9 Also rediscovered by Matthes and Joachimski. |
10 *) |
10 *) |
11 |
11 |
12 InductTermi = Acc + ListBeta + |
12 InductTermi = ListBeta + |
13 |
13 |
14 consts IT :: dB set |
14 consts IT :: dB set |
15 inductive IT |
15 inductive IT |
16 intrs |
16 intrs |
17 VarI "rs : lists IT ==> (Var n)$$rs : IT" |
17 VarI "rs : lists IT ==> (Var n)$$rs : IT" |