| Wed, 24 Jun 2009 09:41:14 +0200 |
nipkow |
corrected and unified thm names
|
file |
diff |
annotate
|
| Fri, 15 May 2009 16:39:18 +0200 |
haftmann |
tuned code postprocessor
|
file |
diff |
annotate
|
| Mon, 11 May 2009 19:51:21 +0200 |
haftmann |
merged
|
file |
diff |
annotate
|
| Mon, 11 May 2009 15:18:32 +0200 |
haftmann |
tuned interface of Lin_Arith
|
file |
diff |
annotate
|
| Mon, 11 May 2009 08:28:49 -0700 |
huffman |
newline at end of file
|
file |
diff |
annotate
|
| Sat, 09 May 2009 07:25:22 +0200 |
nipkow |
lemmas by Andreas Lochbihler
|
file |
diff |
annotate
|
| Fri, 08 May 2009 09:48:07 +0200 |
haftmann |
modules numeral_simprocs, nat_numeral_simprocs; proper structures for numeral simprocs
|
file |
diff |
annotate
|
| Mon, 04 May 2009 14:49:49 +0200 |
haftmann |
dropped duplicate lemma sum_nonneg_eq_zero_iff
|
file |
diff |
annotate
|
| Tue, 28 Apr 2009 15:50:29 +0200 |
haftmann |
collected square lemmas in Nat_Numeral
|
file |
diff |
annotate
|
| Mon, 27 Apr 2009 10:11:46 +0200 |
haftmann |
whitespace tuning
|
file |
diff |
annotate
|
| Wed, 22 Apr 2009 19:09:21 +0200 |
haftmann |
power operation defined generic
|
file |
diff |
annotate
|
| Wed, 15 Apr 2009 15:30:39 +0200 |
haftmann |
theory NatBin now named Nat_Numeral
|
file |
diff |
annotate
| base
|