Parent Directory
| 
Revision Log
[r2005-07-29 09:52:28 by afrisch] Build and install dtd2cduce when PXP is available Original author: afrisch Date: 2005-07-29 09:52:29+00:00
| 1 | abate | 1777 | type T = <a>[ <b>[ <c1>[] ] ] |
| 2 | type S = <a>[ <b>[ <d1>[] ] ] | ||
| 3 | let f (x : [ T ]) : [ S ] = xtransform x with <c1>_ -> <d1>[] | ||
| 4 | abate | 331 | |
| 5 |
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |