##
Logiweb aspects of hook-lemma in pyk

Up
Help

###
The "pyk" aspect

Define pyk of hook-lemma as "hook-lemma" end define

###
The "value" aspect

define value of hook-lemma as norm "lemma" end define

The pyk compiler,
version 0.1.9 by
Klaus Grue,

GRD-2007-07-12.UTC:20:11:58.175987
=
MJD-54293.TAI:20:12:31.175987
=
LGT-4690987951175987e-6