Slava Pestov c4cec1321c rename ifte to if		2005-09-24 19:21:17 +00:00
..
tutorial.factor	rename ifte to if	2005-09-24 19:21:17 +00:00