| Wed, 09 May 2007 18:25:21 +0200 |
huffman |
add lemma of_hypreal_hyperpow
|
file |
diff |
annotate
|
| Tue, 08 May 2007 23:52:15 +0200 |
huffman |
add lemma Standard_hyperpow
|
file |
diff |
annotate
|
| Tue, 08 May 2007 19:15:35 +0200 |
huffman |
add of_hypreal constant with lemmas
|
file |
diff |
annotate
|
| Sat, 16 Dec 2006 20:23:45 +0100 |
huffman |
moved several theorems; rearranged theory dependencies
|
file |
diff |
annotate
|
| Thu, 14 Dec 2006 22:18:08 +0100 |
huffman |
remove commented section
|
file |
diff |
annotate
|
| Thu, 14 Dec 2006 22:09:26 +0100 |
huffman |
remove ultra tactic and redundant FreeUltrafilterNat lemmas
|
file |
diff |
annotate
|
| Wed, 13 Dec 2006 00:07:13 +0100 |
huffman |
generalized some lemmas; removed redundant lemmas; cleaned up some proofs
|
file |
diff |
annotate
|
| Tue, 12 Dec 2006 07:46:40 +0100 |
huffman |
consistent naming for FreeUltrafilterNat lemmas; cleaned up
|
file |
diff |
annotate
|
| Wed, 29 Nov 2006 15:44:51 +0100 |
wenzelm |
simplified method setup;
|
file |
diff |
annotate
|
| Fri, 17 Nov 2006 02:20:03 +0100 |
wenzelm |
more robust syntax for definition/abbreviation/notation;
|
file |
diff |
annotate
|
| Tue, 07 Nov 2006 11:47:57 +0100 |
wenzelm |
renamed 'const_syntax' to 'notation';
|
file |
diff |
annotate
|
| Thu, 28 Sep 2006 21:01:13 +0200 |
huffman |
rearranged axioms and simp rules for scaleR
|
file |
diff |
annotate
|
| Thu, 28 Sep 2006 01:32:30 +0200 |
huffman |
add lemma hypreal_epsilon_gt_zero
|
file |
diff |
annotate
|
| Wed, 27 Sep 2006 05:58:42 +0200 |
huffman |
add lemmas of_real_eq_star_of, Reals_eq_Standard
|
file |
diff |
annotate
|
| Wed, 27 Sep 2006 04:19:21 +0200 |
huffman |
add lemmas about Standard, real_of, scaleR
|
file |
diff |
annotate
|