Added all (???) the sections and their labels.

[helm.git] / helm / papers / calculemus-2003 / hbugs-calculemus-2003.tex

diff --git a/helm/papers/calculemus-2003/hbugs-calculemus-2003.tex b/helm/papers/calculemus-2003/hbugs-calculemus-2003.tex
index 8c72523507f749cb2d0fec6db641562b5c27316c..1cd791f832b5416e77869f1e3bfcf199366754ad 100644 (file)
--- a/helm/papers/calculemus-2003/hbugs-calculemus-2003.tex
+++ b/helm/papers/calculemus-2003/hbugs-calculemus-2003.tex
@@ -160,6 +160,17 @@ following the guidelines of the \wss{}/brokers approach, is
   domain.
 }
 
+\section{???}
+\label{architecture}
+
+\section{???}
+\label{implementation}
+
+\section{???}
+\label{tutors}
+
+\section{???}
+\label{conclusions}
 
 % \section{Introduction}
 % Since the development of the first proof-assistants based on the