diff --git a/src/main/scala/inox/ast/package.scala b/src/main/scala/inox/ast/package.scala
index b810581181b418627611fa0a2e59a9904532db68..c3be79ae67b02a8201c37b7ef6cae71418a3e5df 100644
--- a/src/main/scala/inox/ast/package.scala
+++ b/src/main/scala/inox/ast/package.scala
@@ -2,21 +2,10 @@
 
 package inox
 
-/** Provides AST definitions for Leon programs.
+/** Provides AST definitions for Inox.
   *
-  * The core language supported by Leon is called Pure Scala and its 
-  * [[leon.purescala.Definitions]] and [[leon.purescala.Expressions]] are defined here.
-  * This package also contains the [[leon.purescala.Types]] definitions. Each of those
-  * trees come with a corresponding set of operations in the ???Ops objects.
-  *
-  * The package also provides general utilities operations on Pure Scala programs, such as
-  * a method lifting phase [[leon.purescala.MethodLifting]] (transforming methods into 
-  * top level functions) and a function closure phase [[leon.purescala.FunctionClosure]]
-  * (lifting an inner function to the top level).
-  *
-  * Two printers for Pure Scala programs are also provided, a [[leon.purescala.PrettyPrinter]]
-  * that outputs a nice and readable program (typically using unicode for some operations) and
-  * a [[leon.purescala.ScalaPrinter]] that outputs a valid Scala program from a Leon 
-  * representation.
+  * The core language supported by Inox is defined in [[inox.ast.Expressions]],
+  * [[inox.ast.Definitions]] and [[inox.ast.Types]]. The trait [[inox.ast.Trees]] provides
+  * all these definitions and one of the integral parts of a [[Program]].
   */
 package object ast {}