1726 2005-07-18 21:43:22 +0000 [FS] induction or recursion? 2005-09-29 10:48:13 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Last Call drafts PC Windows 2000 CLOSED FIXED P2 trivial --- 1 fred.zemke simeon public-qt-comments oldest_to_newest 4838 0 fred.zemke 2005-07-18 21:43:22 +0000 7.2.10 fn:min, etc. It says that convert_untypedAtomic is defined "by induction". Usually such definitions are said to be "by recursion", whereas induction is a method of proof, for example, to prove that a recursive definition is well-defined. The distinction doesn't really matter much, but I think that is the usual understanding. 6596 1 simeon 2005-09-29 10:45:08 +0000 Fixed as suggested. - Jerome