2 Commits

Include renames

Author	SHA1	Message	Date
aarne	59ee1bfd7c	full disjunctive patterns ; more prec levels for Exp	2005-12-20 22:38:38 +00:00
aarne	25b3168437	CS's system S	2005-12-20 14:20:42 +00:00