GitHub/gf-rgl
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-rgl.git synced 2026-09-28 21:23:39 -06:00
Code Issues Packages Projects Releases Wiki Activity

restored mathematical in 1.4; forgave some lock fields in overload resolution

Browse Source
This commit is contained in:
aarne
2008-06-20 09:21:52 +00:00
parent b698d0f90c
commit a905625945
34 changed files with 682 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
resource-1.4/mathematical/PredicationFin.gf
+4
View File
@@ -0,0 +1,4 @@
concrete PredicationFin of Predication = CatFin ** PredicationI with
(Syntax = SyntaxFin),
(Lang = LangFin) ;