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