| Mon, 11 Jun 2007 11:06:04 +0200 | chaieb | tuned Proof | file | diff | annotate |
| Sat, 19 May 2007 13:40:33 +0200 | nipkow | Disabled Stefancs code generator - already enabled in RealDef. | file | diff | annotate |
| Sat, 19 May 2007 11:33:21 +0200 | haftmann | uniform module names for code generation | file | diff | annotate |
| Thu, 17 May 2007 19:49:40 +0200 | haftmann | canonical prefixing of class constants | file | diff | annotate |
| Wed, 16 May 2007 09:45:22 +0200 | chaieb | dropped |R | file | diff | annotate |
| Tue, 15 May 2007 18:28:02 +0200 | chaieb | A verified theory for rational numbers representation and simple calculations; | file | diff | annotate |