diff --git a/README.md b/README.md index f5b6763fffae90213961e8546b6960ac67937f02..768fa5a0d8bb72530461b975a6880441ceb22c57 100644 --- a/README.md +++ b/README.md @@ -43,3 +43,6 @@ Topcis are available in the following larger areas, individual topics will be en algebra, math data bases, theorem provers (in the [OpenDreamKit](http://opendreamkit.org) EU project) * Cognitive engineering (semantische information/help systems for CAD/CAM systems). + +<!-- LocalWords: ssem + -->