diff --git a/lib/resource/finnish/ResourceFin.gf b/lib/resource/finnish/ResourceFin.gf new file mode 100644 index 000000000..ced23d83d --- /dev/null +++ b/lib/resource/finnish/ResourceFin.gf @@ -0,0 +1,3 @@ +--# -path=.:../abstract:../../prelude + +concrete ResourceFin of Resource = RulesFin, ClauseFin, StructuralFin ** {} ;