Tue, 15 May 2007 18:28:02 +0200 | chaieb | A verified theory for rational numbers representation and simple calculations; | file | diff | annotate |
Fri, 20 Apr 2007 11:21:50 +0200 | haftmann | added more stuff | file | diff | annotate |
Fri, 30 Mar 2007 16:19:02 +0200 | haftmann | tuned | file | diff | annotate |
Mon, 26 Mar 2007 14:53:04 +0200 | haftmann | Eval theory | file | diff | annotate |
Fri, 26 Jan 2007 13:59:02 +0100 | haftmann | added NestedEnvironment | file | diff | annotate |
Thu, 25 Jan 2007 09:32:45 +0100 | haftmann | not importing NestedEnvironment | file | diff | annotate |
Fri, 05 Jan 2007 14:31:47 +0100 | haftmann | added CodeEval | file | diff | annotate |
Thu, 28 Dec 2006 10:04:10 +0100 | haftmann | added | file | diff | annotate |