| author | wenzelm |
| Mon, 29 Nov 1999 15:52:49 +0100 | |
| changeset 8039 | a901bafe4578 |
| parent 5368 | 7c8d1c7c876d |
| permissions | -rw-r--r-- |
| 5368 | 1 |
|
2 |
Goal "P (EXPR (a + b + c))"; |
|
3 |
Goal "P (EXPR (a + b + c + VAR x + VAR y + 1))"; |
|
4 |
Goal "P (EXPR (VAR (f w) + VAR x))"; |
|
5 |
||
6 |
Goal "P (Expr (%env. env))"; (*improper*) |
|
7 |
Goal "P (Expr (%env. f env))"; |
|
8 |
Goal "P (Expr (%env. f env + env))"; (*improper*) |
|
9 |
Goal "P (Expr (%env. f env y z))"; |
|
10 |
Goal "P (Expr (%env. f env + g y env))"; |
|
11 |
Goal "P (Expr (%env. f env + g env y + h a env z))"; |