BigLat = GrammarLat,DictLat

This commit is contained in:
aarne
2017-01-19 15:40:20 +00:00
parent bd3ef6d502
commit 22dc784d73
2 changed files with 2 additions and 0 deletions

View File

@@ -0,0 +1 @@
concrete BigLat of BigLatAbs = GrammarLat, DictLat ;

View File

@@ -0,0 +1 @@
abstract BigLatAbs = Grammar, DictLatAbs ;