Search results

Create the page "L variable" on this wiki! See also the search results found.

• Datatype Rules
  ...\operatorname{member}(x,l) \land (\forall y \qdot \operatorname{member}(y,l) \limp y \leq x)</math> we can free variable l then apply Distinct Case on it:
  8 KB (1,199 words) - 13:37, 7 September 2010
• Structured Types
  |<math> \begin{array}{l} ~~~~\begin{array}{l}
  18 KB (2,643 words) - 12:41, 12 August 2009
• Migration to Eclipse 3.6
  ::'''Variable tab stops in StyledText''' ::'''StyledText: per line variable tab stops'''
  12 KB (1,814 words) - 08:44, 30 June 2010