started DocumentationFin

This commit is contained in:
aarne
2013-12-12 18:46:48 +00:00
parent 5559d600be
commit 630bee9242
6 changed files with 170 additions and 6 deletions

View File

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