[Top page]
Trying to prove with threshold = 0 -------------- Rtop p\/top --> top # Proved in 0 msec. Trying to prove with threshold = 0 ---------- Rtop --> p,top ----------- R\/ --> p\/top -------------- Ltop top --> p\/top # Proved in 0 msec.