restored the summer school and Resource-HOWTO documents

This commit is contained in:
aarne
2008-09-16 08:01:47 +00:00
parent 70f8bc0f99
commit 0e9c7629d2
14 changed files with 2589 additions and 0 deletions

View File

@@ -0,0 +1,18 @@
instance LexMathFre of LexMath =
open SyntaxFre, ParadigmsFre, (L = LexiconFre) in {
oper
zero_PN = mkPN "zéro" ;
successor_N2 = mkN2 (mkN "successeur") genitive ;
sum_N2 = mkN2 (mkN "somme") genitive ;
product_N2 = mkN2 (mkN "produit") genitive ;
even_A = mkA "pair" ;
odd_A = mkA "impair" ;
prime_A = mkA "premier" ;
equal_A2 = mkA2 (mkA "égal") dative ;
small_A = L.small_A ;
great_A = L.big_A ;
divisible_A2 = mkA2 (mkA "divisible") (mkPrep "par") ;
number_N = mkN "entier" ;
}