1
0
forked from GitHub/gf-core

typo in AllHin corrected; excluded ReflA2 in Demo (not needed in concretes any more)

This commit is contained in:
aarne
2008-08-14 20:30:17 +00:00
parent 5368b95a45
commit 8719bb9530
2 changed files with 2 additions and 2 deletions

View File

@@ -1,3 +1,3 @@
--# -path=.:../abstract:../common:prelude
concrete AllHin of AllHinAbs = LanHin ;
concrete AllHin of AllHinAbs = LangHin ;