| Tue, 11 May 2004 20:11:08 +0200 | changes made due to new Ring_and_Field theory | file | diff | annotate |
| Mon, 10 May 2004 17:10:41 +0200 | preparation for integration with new Ring_and_Field.thy | file | diff | annotate |
| Sat, 01 May 2004 22:01:57 +0200 | tuned instance statements; | file | diff | annotate |
| Fri, 23 Apr 2004 20:49:26 +0200 | proper document setup; | file | diff | annotate |
| Fri, 16 Apr 2004 18:30:51 +0200 | first version of matrices for HOL/Isabelle | file | diff | annotate |