| Wed, 12 May 2004 10:00:56 +0200 | nipkow | fixed latex problems | file | diff | annotate |
| Tue, 11 May 2004 20:11:08 +0200 | obua | changes made due to new Ring_and_Field theory | file | diff | annotate |
| Sat, 01 May 2004 22:01:57 +0200 | wenzelm | tuned instance statements; | file | diff | annotate |
| Fri, 23 Apr 2004 11:04:07 +0200 | paulson | congruent2 now allows different equiv relations | file | diff | annotate |
| Thu, 08 Apr 2004 15:14:33 +0200 | paulson | tidied | file | diff | annotate |
| Tue, 30 Mar 2004 11:18:12 +0200 | paulson | tidied | file | diff | annotate |
| Thu, 25 Mar 2004 10:32:21 +0100 | paulson | new material from Avigad | file | diff | annotate |