finnish peacekeeping

This commit is contained in:
aarne committed 2006-04-20 21:04:04 +00:00
1 parent ca96cb741b
commit 3ce9a4fd89
5 files changed
+53

No files matched your search

@@ -0,0 +1,3 @@
--# -path=.:present:prelude
concrete PeaceCat_Fin of PeaceCat = CatFin ** PeaceCatI with (Cat = CatFin);