spechub/Hets — pull request #1346 by cmaeder (2014-08-27 09:31:36+00:00)
Title: further simplify propositional CASL formulas

This simplification allows to discharge some proof obligations (wrt overlapping patterns) generated by CCC.
@mcodescu please review