enhanced simplifyAbsTerm and corrected error for App <Case> <Term> master
authorseideld <seideld@tcs.inf.tu-dresden.de>
Mon, 17 Nov 2008 11:45:55 +0000 (11:45 +0000)
committerseideld <seideld@tcs.inf.tu-dresden.de>
Mon, 17 Nov 2008 11:45:55 +0000 (11:45 +0000)
commit9d25165119c9bf4cdc7e1d2f7c42028be9f52e10
tree405cb4a2459fce6e0219d08dfa2ec7d9a7b659a2
parent9076f6e53945fe8118b96e8ee6be66a888454e6c
enhanced simplifyAbsTerm and corrected error for App <Case> <Term>
ExFindExtended.hs