From 1efdb5dece2e1b9281a716e0a52578d62ab757d4 Mon Sep 17 00:00:00 2001 From: "N.N." Date: Wed, 4 Jan 2006 02:48:43 +0000 Subject: . svn path=/trunk/abstractions/pureunity/; revision=4360 --- generics/locale/english.tcl | 43 ++++++++++++++++++++++++------------------- 1 file changed, 24 insertions(+), 19 deletions(-) (limited to 'generics/locale') diff --git a/generics/locale/english.tcl b/generics/locale/english.tcl index 09e3125..d079e21 100644 --- a/generics/locale/english.tcl +++ b/generics/locale/english.tcl @@ -18,28 +18,33 @@ say_namespace summary { proc pu_say {} { } - pu_say antireflexive {t } "" - pu_say antisymmetric {t } "" - pu_say associative {t } "" - pu_say commutative {t } "" - pu_say distributive {t } "" - pu_say equivalence {t } "" - pu_say invertible {t } "" - pu_say partialorder {t } "" - pu_say partialordereq {t } "" - pu_say reflexive {t } "" - pu_say totalorder {t } "" - pu_say totalordereq {t } "" - pu_say transitive {t } "" - pu_say trichotomy {t } "" - pu_say operator1 {t } "" - pu_say operator2 {t } "" + pu_say antireflexive {t } "" + pu_say reflexive {t } "" + + pu_say commutative {t } "" + pu_say anticommutative {t } "" + pu_say antisymmetric {t } "" + + pu_say associative {t } "" + pu_say distributive {t } "" + pu_say invertible {t } "" + + pu_say partialorder {t } "partial order (open)" + pu_say partialordereq {t } "partial order (closed)" + pu_say totalorder {t } "total order (open)" + pu_say totalordereq {t } "total order (closed)" + pu_say equivalence {t } "equivalence relation" + + pu_say transitive {t } "transitive: " + pu_say trichotomy {t } "trichotomy: either equal or less or greater" + pu_say operator1 {t } "1-input operator" + pu_say operator2 {t } "2-input operator" say_category cancellators - say associator "" + say associator "(ab)c-a(bc)" say commutator "ab-ba" - say distributor "" - say invertor "" + say distributor "a&(b^c)-(ab^ac)" + say invertor "ab/b-a" say_category misc say twice "" -- cgit v1.2.1