Up
Help
The predefined "pyk" aspect
define pyk of lemma fromNot
The predefined "tex" aspect
define tex of lemma fromNot
The user defined "the statement aspect" aspect
define statement of lemma fromNot
The user defined "the proof aspect" aspect
define proof of lemma fromNot
The pyk compiler,
version 0.grue.20060417+ by
Klaus Grue,
GRD-2006-12-08.UTC:16:16:16.345569
=
MJD-54077.TAI:16:16:49.345569
=
LGT-4672311409345569e-6