use standard banner
Fixed assertion in SuslinLemma (four arguments)
Code simplification
Merge pull request #13 from wagh/devel

Devel