diff -r 0048a1aa96f9 -r 3aa8ee4853dc doc/namespaces.dox
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc/namespaces.dox	Thu Aug 10 14:56:36 2006 +0000
@@ -0,0 +1,12 @@
+/// The namespace of LEMON
+
+/// The namespace of LEMON
+///
+namespace lemon {
+
+  /// The namespace of LEMON concepts and concept checking classes
+
+  /// The namespace of LEMON concepts and concept checking classes
+  ///
+  namespace concept {}
+}