Added upstream from http://ftp.icm.edu.pl/pub/loglan/
[loglan.git] / examples / biela / retrprov.de6
1 P<=>((p1=>p3)=>((p2=>p3)=>((p1vp2)=>p3)))?