JPN

2012-06-10 21:38:10 +00:00
parent 2675fceebe
commit 6944b8644d
30 changed files with 170 additions and 155 deletions
@@ -0,0 +1,4 @@
+concrete AllJpn of AllJpnAbs = 
+  LangJpn,
+  ExtraJpn
+  ** {} ;