[isabelle] promble



How to define a set?
For example, if I want to define a set letter={A,B,C,...,Z,a,b,...,z}
                                             yucy





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