| author | wenzelm |
| Tue, 24 Aug 1999 11:50:58 +0200 | |
| changeset 7333 | 6cb15c6f1d9f |
| 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))"; |