/examples/fracas/src/

• ../
• Additions.gf
• AdditionsEng.gf
• AdditionsSwe.gf
• FraCaS.gf
• FraCaSBank.gf
• FraCaSBankEng.gf
• FraCaSBankI.gf
• FraCaSBankOriginal.gf
• FraCaSBankSwe.gf
• FraCaSEng.gf
• FraCaSLex.gf
• FraCaSLexEng.gf
• FraCaSLexSwe.gf
• FraCaSSwe.gf