diff --git a/library/annotation/package.scala b/library/annotation/package.scala
index 29a8c1327e17893902c45b96aea3521956f8e3cf..5782172b88cda5abfd876fe2bee4a619e7635499 100644
--- a/library/annotation/package.scala
+++ b/library/annotation/package.scala
@@ -8,20 +8,12 @@ package object annotation {
   @ignore
   class library    extends StaticAnnotation
   @ignore
-  class verified   extends StaticAnnotation
-  @ignore
   class repair     extends StaticAnnotation
-
   @ignore
   class induct     extends StaticAnnotation
   @ignore
-  class axiomatize extends StaticAnnotation
-  @ignore
-  class main       extends StaticAnnotation
-  @ignore
   class extern     extends StaticAnnotation
   @ignore
   class ignore     extends StaticAnnotation
-
 }