full disjunctive patterns ; more prec levels for Exp

This commit is contained in:
aarne
2005-12-20 22:38:38 +00:00
parent 7383e6d93e
commit 59ee1bfd7c
9 changed files with 805 additions and 732 deletions

File diff suppressed because one or more lines are too long