API module titles, resource.txt corrections

This commit is contained in:
aarne
2006-06-14 21:16:06 +00:00
parent fe529e0217
commit 17f5fad35d
16 changed files with 199 additions and 149 deletions

View File

@@ -1,4 +1,4 @@
--1 Infrastructure with common implementations.
--1 Common: Structures with Common Implementations.
-- This module defines the categories that uniformly have the linearization
-- ${s : Str}$ in all languages.