Re: [isabelle] Datatype + cardinality + polymorphismus?



Probably you first want to define the type

datatype colors = Red | Blue | Green

The you want to reason about sets of this type

lemma "Red : {Blue, Red, Red}"

Otherwise, the manual provides good examples.
  Cornelius




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