generalized pt -transfer so that it goes into subtrees (naive implementation in TreeOperations; using PGF.Expr.match would be better); example given in 'h pt'

This commit is contained in:
aarne
2011-03-12 10:20:54 +00:00
parent c3f6d50fdb
commit e00f7f7ba3
2 changed files with 9 additions and 2 deletions
+2
View File
@@ -55,6 +55,7 @@ abstract Noun = Cat ** {
-- $Card$ consists of either digits or numeral words.
data
NumDigits : Digits -> Card ; -- 51
NumNumeral : Numeral -> Card ; -- fifty-one
@@ -62,6 +63,7 @@ abstract Noun = Cat ** {
-- A $Card$ can be modified by certain adverbs.
fun
AdNum : AdN -> Card -> Card ; -- almost 51
-- An $Ord$ consists of either digits or numeral words.