author | paulson |
Thu, 01 Oct 1998 18:30:05 +0200 | |
changeset 5601 | b6456ccd9e3e |
parent 5368 | 7c8d1c7c876d |
permissions | -rw-r--r-- |
Goal "P (EXPR (a + b + c))"; Goal "P (EXPR (a + b + c + VAR x + VAR y + 1))"; Goal "P (EXPR (VAR (f w) + VAR x))"; Goal "P (Expr (%env. env))"; (*improper*) Goal "P (Expr (%env. f env))"; Goal "P (Expr (%env. f env + env))"; (*improper*) Goal "P (Expr (%env. f env y z))"; Goal "P (Expr (%env. f env + g y env))"; Goal "P (Expr (%env. f env + g env y + h a env z))";