Thu, 05 Jan 2006 22:29:55 +0100 |
wenzelm |
replaced swap by contrapos_np;
|
file |
diff |
annotate
|
Wed, 28 Sep 2005 11:14:26 +0200 |
paulson |
new lemma
|
file |
diff |
annotate
|
Fri, 29 Jul 2005 19:47:27 +0200 |
avigad |
changed import to Ln
|
file |
diff |
annotate
|
Wed, 27 Jul 2005 11:28:18 +0200 |
paulson |
removed the dependence on abs_mult
|
file |
diff |
annotate
|
Mon, 21 Feb 2005 15:04:10 +0100 |
nipkow |
comprehensive cleanup, replacing sumr by setsum
|
file |
diff |
annotate
|
Tue, 19 Oct 2004 18:18:45 +0200 |
paulson |
converted some induct_tac to induct
|
file |
diff |
annotate
|
Wed, 18 Aug 2004 11:09:40 +0200 |
nipkow |
import -> imports
|
file |
diff |
annotate
|
Mon, 16 Aug 2004 14:22:27 +0200 |
nipkow |
New theory header syntax.
|
file |
diff |
annotate
|
Fri, 05 Mar 2004 15:18:59 +0100 |
paulson |
Conversion of Poly to Isar script, and other tidying of HOL/Hyperreal
|
file |
diff |
annotate
|
Fri, 16 Nov 2001 18:24:11 +0100 |
paulson |
even more theories from Jacques
|
file |
diff |
annotate
|