[isabelle] The difference between /\ , â and -> , =>



What is the difference in Isabelle between Universal Quantification /\ and â ?
What is the difference in Isabelle between the implications   =>  and ->  ?



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.