started DocumentationFin

This commit is contained in:
aarne
2013-12-12 18:46:48 +00:00
parent 62db3482ed
commit 6733ffa228
6 changed files with 170 additions and 6 deletions

View File

@@ -1,5 +1,4 @@
abstract AllFinAbs =
Lang,
Construction,
ExtraFinAbs
** {} ;