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: Apr 26 2026 at 09:04 UTC