2010-05-17から1日間の記事一覧

Isabelle Tutorial その24

8.5 Introducing New Types 多くの場合は定義済みの型boolや=>とそれらの組み合わせで事が足りますが、稀にこれらでは表わせない高度な型が必要になる場合があります。そのような場合に必要となる型の導入方法を紹介します。 8.5.1 Declaring New Types type…