| Thu, 07 Jul 2005 12:39:17 +0200 | nipkow | linear arithmetic now takes "&" in assumptions apart. | file | diff | annotate |
| Tue, 01 Feb 2005 18:01:57 +0100 | paulson | the new subst tactic, by Lucas Dixon | file | diff | annotate |
| Fri, 03 Sep 2004 17:10:36 +0200 | obua | Matrix theory, linear programming | file | diff | annotate |
| Mon, 14 Jun 2004 14:20:55 +0200 | obua | Further development of matrix theory | file | diff | annotate |
| Tue, 11 May 2004 20:11:08 +0200 | obua | changes made due to new Ring_and_Field theory | file | diff | annotate |
| Mon, 10 May 2004 17:10:41 +0200 | obua | preparation for integration with new Ring_and_Field.thy | file | diff | annotate |
| Sat, 01 May 2004 22:01:57 +0200 | wenzelm | tuned instance statements; | file | diff | annotate |
| Fri, 23 Apr 2004 20:49:26 +0200 | wenzelm | proper document setup; | file | diff | annotate |
| Fri, 16 Apr 2004 18:30:51 +0200 | obua | first version of matrices for HOL/Isabelle | file | diff | annotate |