Logiweb aspects of 1rule to<

Up Help

The predefined "pyk" aspect

define pyk of 1rule to<

The predefined "tex" aspect

define tex of 1rule to<

The user defined "the statement aspect" aspect

define statement of 1rule to<

The user defined "the proof aspect" aspect

define proof of 1rule to<

The pyk compiler, version 0.grue.20060417+ by Klaus Grue,
GRD-2006-09-15.UTC:09:33:20.992497 = MJD-53993.TAI:09:33:53.992497 = LGT-4665029633992497e-6