draining

GROUP_MANIFEST.MF

 description: desc.html
 teaser: <p>The Math-in-the-Middle Ontology is a curated theory-graph representation of mathematical knowledge that serves as an integrating ontology for mathematical software systems and services.</p> 
-responsible:kohlhase@kwarc.info
+responsible:Michael.Kohlhase@FAU.de
 title: The Math-in-the-Middle Ontology
 tags: ODK OAF

desc.html

@@ -2,9 +2,10 @@
 
 It contains the following archives: 
 <ul>
-  <li> <span style="color:blue">Foundation</span> provides a comprehensive logical langauge for the formalization of mathematics.</li>
-  <li> <span style="color:blue">Core</span> covers elementary concepts from across matheamtics.</li>
-  <li> <span style="color:blue">Models</span> with experiments from matheamticsl modeling and simulation.</li>
+  <li> <span style="color:blue">Foundation</span> provides a comprehensive logical language for the formalization of mathematics.</li>
+  <li> <span style="color:blue">Core</span> covers elementary concepts from across mathematics.</li>
+<!--   <li> <span style="color:blue">Models</span> with experiments from mathematics
+     modeling and simulation.</li> --> 
 </ul>
 All other archives here are considered experimental.
 </p>