X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fautomath%2Faut.ml;h=66c252d5ec91e6e536d3b6aa5769db017f2e7dda;hb=421056da7b3e1d6b9d91d72092b4f3c3232a00ce;hp=c95d20a7ec82989f4d39e9c018e1c481608a85a3;hpb=9b4286fdc2d88b0d8018e5718ef055804f5cf7ac;p=helm.git

diff --git a/helm/software/lambda-delta/automath/aut.ml b/helm/software/lambda-delta/automath/aut.ml
index c95d20a7e..66c252d5e 100644
--- a/helm/software/lambda-delta/automath/aut.ml
+++ b/helm/software/lambda-delta/automath/aut.ml
@@ -37,5 +37,3 @@ type item = Section of id option           (* section: Some = open/reopen, None
 	  | Block of id * term             (* block opener: name, type *)
 	  | Decl of id * term              (* declaration: name, type *)
 	  | Def of id * term * bool * term (* definition: name, type, transparent?, body *)
-	  
-type book = item list (* book *)