Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] promble


view this post on Zulip Email Gateway (Aug 18 2022 at 13:18):

From: 游珍 <yucy0405@163.com>
How to define a set?
For example, if I want to define a set letter={A,B,C,...,Z,a,b,...,z}
yucy


Last updated: Nov 21 2024 at 12:39 UTC