aarne 220cbce041 NumeralsEng.n9, SymbolFin.CNIntNP

2006-08-07 14:39:35 +00:00

prelude

added Float to PredefAbs

2006-06-02 12:11:36 +00:00

resource-0.6

Black's notice

2005-12-21 20:47:55 +00:00

resource-0.9

resource = resource-1.0

2006-06-22 22:25:55 +00:00

resource-1.0

NumeralsEng.n9, SymbolFin.CNIntNP

2006-08-07 14:39:35 +00:00

index.html

lib index

2006-06-22 22:30:49 +00:00

index.txt

lib index

2006-06-22 22:30:49 +00:00

Description

No description provided

BSD-3-Clause 217 MiB

Languages

Grammatical Framework 99.9%