5 commits

Author	SHA1	Message	Date
John Wiegley	7a1d0d4614	new debug code; automated transactions now use value expression predicates	2004-08-10 17:54:47 -04:00
John Wiegley	493694f848	predicate are now used instead of constraints	2004-07-30 23:42:59 -04:00
John Wiegley	161d6f79bd	initial rev of 2.0	2004-07-26 23:33:51 -04:00
John Wiegley	f9c4f85870	fixes	2004-06-30 02:09:42 -04:00
John Wiegley	9ca1d24d30	initial import into Darcs	2004-05-13 18:37:12 -04:00