Wed, 02 Feb 2005 10:16:33 +0100 |
nipkow |
Max_le -> Max_ge
|
file |
diff |
annotate
|
Tue, 01 Feb 2005 18:01:57 +0100 |
paulson |
the new subst tactic, by Lucas Dixon
|
file |
diff |
annotate
|
Thu, 09 Dec 2004 18:30:59 +0100 |
nipkow |
First step in reorganizing Finite_Set
|
file |
diff |
annotate
|
Mon, 11 Oct 2004 07:42:22 +0200 |
nipkow |
Proofs needed to be updated because induction now preserves name of
|
file |
diff |
annotate
|
Fri, 10 Sep 2004 20:04:14 +0200 |
nipkow |
Added antisymmetry simproc
|
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
|
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
|
Thu, 22 Apr 2004 12:18:23 +0200 |
wenzelm |
fixed constdefs typing;
|
file |
diff |
annotate
|
Fri, 16 Apr 2004 18:30:51 +0200 |
obua |
first version of matrices for HOL/Isabelle
|
file |
diff |
annotate
|