| Wed, 07 Jul 2010 09:26:54 +0200 |
hoelzl |
tuned
|
changeset |
files
|
| Wed, 07 Jul 2010 08:25:23 +0200 |
bulwahn |
replaced manual derivation of equations for inductive predicates by automatic derivation by inductive_simps
|
changeset |
files
|
| Wed, 07 Jul 2010 08:25:22 +0200 |
bulwahn |
added NEWS entry
|
changeset |
files
|
| Wed, 07 Jul 2010 08:25:21 +0200 |
bulwahn |
added the new command inductive_cases to derive simplification equations for inductive predicates; added binding simps for general simplification equation
|
changeset |
files
|
| Tue, 06 Jul 2010 08:08:35 -0700 |
huffman |
merged
|
changeset |
files
|
| Mon, 05 Jul 2010 09:14:51 -0700 |
huffman |
generalize type of is_interval to class euclidean_space
|
changeset |
files
|
| Mon, 05 Jul 2010 09:12:35 -0700 |
huffman |
section -> subsection
|
changeset |
files
|
| Sun, 04 Jul 2010 09:26:30 -0700 |
huffman |
generalize some lemmas about derivatives
|
changeset |
files
|
| Sun, 04 Jul 2010 09:25:17 -0700 |
huffman |
uniqueness of Frechet derivative
|
changeset |
files
|
| Tue, 06 Jul 2010 21:33:14 +0200 |
wenzelm |
implode pseudo utf8, i.e. decode byte-stuffed low ASCII characters;
|
changeset |
files
|
| Tue, 06 Jul 2010 10:02:24 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Tue, 06 Jul 2010 09:27:49 +0200 |
haftmann |
even more fun with primrec
|
changeset |
files
|
| Tue, 06 Jul 2010 09:21:15 +0200 |
haftmann |
refactored reference operations
|
changeset |
files
|
| Tue, 06 Jul 2010 09:21:13 +0200 |
haftmann |
tuned
|
changeset |
files
|
| Tue, 06 Jul 2010 09:21:13 +0200 |
haftmann |
tuned empty heap
|
changeset |
files
|