Logiweb(TM)

Logiweb aspects of prepare proof indentation in pyk

Up Help

The "pyk" aspect

Define pyk of prepare proof indentation as "prepare proof indentation" end define

The "tex" aspect

Define tex of prepare proof indentation as "
\ifx\indentation\undefined
\newlength{\indentation}\setlength{\indentation}{0em}
\fi" end define

The "texname" aspect

Define tex name of prepare proof indentation as "
prepare\ proof\ indentation" 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