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