| Wed, 02 Jul 2008 07:11:57 +0200 |
haftmann |
cleaned up some code generator configuration
|
file |
diff |
annotate
|
| Tue, 10 Jun 2008 15:30:54 +0200 |
haftmann |
slightly tuning of some proofs involving case distinction and induction on natural numbers and similar
|
file |
diff |
annotate
|
| Mon, 07 Apr 2008 15:37:33 +0200 |
haftmann |
instantiation replacing primitive instance plus overloaded defs
|
file |
diff |
annotate
|
| Tue, 31 Jul 2007 00:56:26 +0200 |
wenzelm |
arith method setup: proper context;
|
file |
diff |
annotate
|
| 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
|