text unicode capital e unicode small r unicode small r unicode small o unicode small r unicode space unicode small i unicode small n unicode space unicode small p unicode small r unicode small o unicode small o unicode small f unicode space unicode small o unicode small f unicode end of text end text , text unicode newline unicode end of text end text , prop lemma doubly conditioned join conjuncts , text unicode newline unicode end of text end text , text unicode capital l unicode small e unicode small m unicode small m unicode small a unicode space unicode small e unicode small x unicode small p unicode small e unicode small c unicode small t unicode small e unicode small d unicode end of text end text , text unicode newline unicode end of text end text , prop lemma mp2
The pyk compiler, version 0.grue.20060417+ by Klaus Grue,