1
0
forked from GitHub/gf-rgl

NDTransChi compiles

This commit is contained in:
aarne
2014-03-09 22:15:50 +00:00
parent 784808f4c7
commit 0a70bc38a9
16 changed files with 139 additions and 74 deletions
+3
View File
@@ -18,6 +18,9 @@ fun
AdV_Chunk : AdV -> Chunk ;
AdN_Chunk : AdN -> Chunk ;
Cl_Chunk : PrCl_none -> Chunk ;
Cl_np_Chunk : PrCl_np -> Chunk ;
QCl_Chunk : PrQCl_none -> Chunk ;
QCl_np_Chunk : PrQCl_np -> Chunk ;
CN_Pl_Chunk : CN -> Chunk ;
CN_Sg_Chunk : CN -> Chunk ;
CN_Pl_Gen_Chunk : CN -> Chunk ;