replaced Case1 by Case and thus removed Convert-Error Typ2Expr. Before t2 == t3 was...
authorseideld <seideld@tcs.inf.tu-dresden.de>
Mon, 17 Nov 2008 13:38:42 +0000 (13:38 +0000)
committerseideld <seideld@tcs.inf.tu-dresden.de>
Mon, 17 Nov 2008 13:38:42 +0000 (13:38 +0000)
commit9076f6e53945fe8118b96e8ee6be66a888454e6c
tree8c68dd996410f73f879816c63e3ac36d4d2a6f3c
parentbd1472e28faa8daf77d16b363168cb707b0d1553
replaced Case1 by Case and thus removed Convert-Error Typ2Expr. Before t2 == t3 was not fulfiled for Case1 t0 t1 t2 t3, but is required for the Transformation.
ExFindExtended.hs