datatype shuzi =
One (\<open>一\<close>)
| Two (\<open>二\<close>)
| Three (\<open>三\<close>)
| Four (\<open>四\<close>)
| Five (\<open>五\<close>)
| Six (\<open>六\<close>)
| Seven (\<open>七\<close>)
| Eight (\<open>八\<close>)
| Nine (\<open>九\<close>)
| Ten (\<open>十\<close>)
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
