- we now use a streaming architecture (run time gain: 11 secs)

[helm.git] / helm / software / lambda-delta / automath / aut.ml

diff --git a/helm/software/lambda-delta/automath/aut.ml b/helm/software/lambda-delta/automath/aut.ml
index c95d20a7ec82989f4d39e9c018e1c481608a85a3..66c252d5ec91e6e536d3b6aa5769db017f2e7dda 100644 (file)
--- 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 *)