Logiweb aspects of hypothesize in pyk

Up Help

The user defined "the statement aspect" aspect

define statement of hypothesize as system prime s infer all metavar var h end metavar indeed all metavar var a end metavar indeed ( metavar var a end metavar infer ( metavar var h end metavar peano imply metavar var a end metavar ) ) end define