PPT.hs -- branch: Positive

   Existing Tags:
	Finite                   	(revision: 1.12)
	Positive                 	(branch: 1.20.2)

----------------------------
revision 1.20.2.31
date: 2009-02-20 18:00:02 +0000;  author: orlov;  state: Exp;  lines: +1 -1
- Nothing have been changed!  Just update files on http://botik.ru/~xsg/
----------------------------
revision 1.20.2.30
date: 2009-01-24 11:31:18 +0000;  author: klimov;  state: Exp;  lines: +2 -2
- Fair needs: take vars from both side of clash
----------------------------
revision 1.20.2.29
date: 2008-06-22 13:37:12 +0000;  author: klimov;  state: Exp;  lines: +7 -3
- filter answers with Y-vars
----------------------------
revision 1.20.2.28
date: 2008-06-22 13:12:35 +0000;  author: klimov;  state: Exp;  lines: +9 -9
- Version for GHC 6.8.2
----------------------------
revision 1.20.2.27
date: 2005-07-31 12:44:19 +0000;  author: klimov;  state: Exp;  lines: +2 -2
New Gener (and little changes at PPT and XSG). Now it works! But does not support clashes.
----------------------------
revision 1.20.2.26
date: 2004-11-08 17:15:30 +0000;  author: klimov;  state: Exp;  lines: +4 -4
Very small changes
----------------------------
revision 1.20.2.25
date: 2004-11-08 09:13:56 +0000;  author: klimov;  state: Exp;  lines: +17 -12
Оказывается, Index нужен не слишком часто. В PPT я заменил newIndex на его увеличение (+1) - стало работать быстрее.
----------------------------
revision 1.20.2.24
date: 2004-11-07 07:33:52 +0000;  author: klimov;  state: Exp;  lines: +4 -10
Упростил Renum. Кстати, renaming'у не нужен Index?
----------------------------
revision 1.20.2.23
date: 2004-11-06 08:22:23 +0000;  author: klimov;  state: Exp;  lines: +6 -7
Another show (showsPrec -> Show).
----------------------------
revision 1.20.2.22
date: 2004-11-05 19:13:22 +0000;  author: klimov;  state: Exp;  lines: +8 -7
no message
----------------------------
revision 1.20.2.21
date: 2004-10-23 16:09:58 +0000;  author: klimov;  state: Exp;  lines: +20 -18
no message
----------------------------
revision 1.20.2.20
date: 2004-10-22 10:59:29 +0000;  author: klimov;  state: Exp;  lines: +7 -13
Index had added to ura, ppt, int.
----------------------------
revision 1.20.2.19
date: 2004-10-22 09:46:28 +0000;  author: klimov;  state: Exp;  lines: +28 -29
no message
----------------------------
revision 1.20.2.18
date: 2004-10-22 08:35:16 +0000;  author: klimov;  state: Exp;  lines: +2 -1
"vim:" is added
----------------------------
revision 1.20.2.17
date: 2004-10-22 07:42:06 +0000;  author: klimov;  state: Exp;  lines: +9 -9
Some code reformating.
----------------------------
revision 1.20.2.16
date: 2004-10-21 04:37:23 +0000;  author: klimov;  state: Exp;  lines: +13 -23
A little better than Anton's variant.
----------------------------
revision 1.20.2.15
date: 2004-10-20 23:41:55 +0000;  author: orlov;  state: Exp;  lines: +4 -3
Fixed substituion of a result.
----------------------------
revision 1.20.2.14
date: 2004-10-20 16:00:40 +0000;  author: klimov;  state: Exp;  lines: +37 -34
Big changes: State = Branch = (Cond, Terms, Exps). Going to rewrite parser in monadic style.
----------------------------
revision 1.20.2.13
date: 2004-10-17 09:44:21 +0000;  author: klimov;  state: Exp;  lines: +4 -4
Пытаюсь разделить внешнее и внутреннее представление. Теперь, в частости, во внутреннем представлении все констукторы должны быть пронумерованы.
----------------------------
revision 1.20.2.12
date: 2004-10-16 19:33:51 +0000;  author: klimov;  state: Exp;  lines: +14 -15
No more Conf and Class, only State and Exps.
----------------------------
revision 1.20.2.11
date: 2004-10-16 19:13:58 +0000;  author: klimov;  state: Exp;  lines: +24 -24
No more Conf and Class, only State and Exps.
----------------------------
revision 1.20.2.10
date: 2004-10-15 15:48:49 +0000;  author: klimov;  state: Exp;  lines: +13 -11
no message
----------------------------
revision 1.20.2.9
date: 2004-10-13 08:29:25 +0000;  author: klimov;  state: Exp;  lines: +32 -15
Files from unofficial XSG CVS on Xenon. New W-vars are added. Now programs like "split xs, xs :=: concat ys zs, ys zs." working right! Parser comes soon.
----------------------------
revision 1.20.2.8
date: 2004-06-11 12:41:49 +0000;  author: klimov;  state: Exp;  lines: +8 -8
no message
----------------------------
revision 1.20.2.7
date: 2004-06-11 11:47:12 +0000;  author: klimov;  state: Exp;  lines: +9 -9
no message
----------------------------
revision 1.20.2.6
date: 2004-05-28 14:08:26 +0000;  author: klimov;  state: Exp;  lines: +5 -5
no message
----------------------------
revision 1.20.2.5
date: 2004-05-28 13:43:28 +0000;  author: klimov;  state: Exp;  lines: +4 -4
no message
----------------------------
revision 1.20.2.4
date: 2004-04-07 16:29:42 +0000;  author: klimov;  state: Exp;  lines: +23 -27
Работающая версия PPT без неравенств.
----------------------------
revision 1.20.2.3
date: 2004-04-07 14:41:46 +0000;  author: klimov;  state: Exp;  lines: +52 -28
no message
----------------------------
revision 1.20.2.2
date: 2004-03-31 16:36:01 +0000;  author: klimov;  state: Exp;  lines: +11 -9
no message
----------------------------
revision 1.20.2.1
date: 2004-03-31 14:53:34 +0000;  author: klimov;  state: Exp;  lines: +17 -35
New branch Positive
=============================================================================