| Mon, 26 Mar 2007 14:53:01 +0200 |
haftmann |
naming tuned
|
changeset |
files
|
| Mon, 26 Mar 2007 14:53:00 +0200 |
haftmann |
cleaned up Library( and ex/
|
changeset |
files
|
| Mon, 26 Mar 2007 12:48:30 +0200 |
paulson |
Clause cache is now in theory data.
|
changeset |
files
|
| Mon, 26 Mar 2007 12:46:27 +0200 |
paulson |
"generalize" now replaces ugly mes_XXX generated symbols by 1-letter identifiers.
|
changeset |
files
|
| Sun, 25 Mar 2007 15:15:07 +0200 |
urbanc |
moving lemmas into appropriate sections
|
changeset |
files
|
| Fri, 23 Mar 2007 12:06:41 +0100 |
haftmann |
fixed typing bug in generated code
|
changeset |
files
|
| Fri, 23 Mar 2007 12:05:43 +0100 |
haftmann |
fixed typing bug in generated code
|
changeset |
files
|
| Fri, 23 Mar 2007 10:50:03 +0100 |
urbanc |
added the permutation operation on options to the list of equivariance lemmas
|
changeset |
files
|
| Fri, 23 Mar 2007 09:46:22 +0100 |
haftmann |
dropped
|
changeset |
files
|
| Fri, 23 Mar 2007 09:40:57 +0100 |
haftmann |
added empty cases
|
changeset |
files
|
| Fri, 23 Mar 2007 09:40:53 +0100 |
haftmann |
added concept for term constructors
|
changeset |
files
|
| Fri, 23 Mar 2007 09:40:50 +0100 |
haftmann |
tuned
|
changeset |
files
|
| Fri, 23 Mar 2007 09:40:49 +0100 |
haftmann |
two further properties about lists
|
changeset |
files
|
| Fri, 23 Mar 2007 09:40:47 +0100 |
haftmann |
removed outdated example
|
changeset |
files
|
| Fri, 23 Mar 2007 09:40:45 +0100 |
haftmann |
fixed typo
|
changeset |
files
|
| Fri, 23 Mar 2007 09:40:43 +0100 |
haftmann |
added some sketches about library functions
|
changeset |
files
|
| Thu, 22 Mar 2007 16:53:37 +0100 |
krauss |
fixed function syntax
|
changeset |
files
|
| Thu, 22 Mar 2007 16:34:03 +0100 |
krauss |
fixed function syntax
|
changeset |
files
|
| Thu, 22 Mar 2007 14:26:05 +0100 |
urbanc |
corrected the lemmas min_nat_eqvt and min_int_eqvt
|
changeset |
files
|
| Thu, 22 Mar 2007 14:03:30 +0100 |
haftmann |
fixed code generator setup
|
changeset |
files
|
| Thu, 22 Mar 2007 13:36:57 +0100 |
krauss |
made function syntax strict, requiring | to separate equations; cleanup
|
changeset |
files
|
| Thu, 22 Mar 2007 13:36:56 +0100 |
krauss |
fixed problem with the construction of mutual simp rules
|
changeset |
files
|
| Thu, 22 Mar 2007 13:36:55 +0100 |
krauss |
cleanup
|
changeset |
files
|
| Thu, 22 Mar 2007 11:17:32 +0100 |
urbanc |
clarified an error-message
|
changeset |
files
|
| Thu, 22 Mar 2007 10:35:12 +0100 |
urbanc |
tuned some proofs
|
changeset |
files
|
| Wed, 21 Mar 2007 16:07:40 +0100 |
krauss |
added another rule for simultaneous induction, and lemmas for zip
|
changeset |
files
|
| Wed, 21 Mar 2007 16:06:15 +0100 |
krauss |
Unified function syntax
|
changeset |
files
|
| Wed, 21 Mar 2007 13:58:36 +0100 |
paulson |
Numerous bug fixes. Type clauses distinguished from empty clauses. Working proof reduction.
|
changeset |
files
|
| Wed, 21 Mar 2007 08:07:19 +0100 |
haftmann |
added example file
|
changeset |
files
|
| Tue, 20 Mar 2007 21:21:38 +0100 |
gagern |
Better documentation path rewriting for src dir, used in tarball build.
|
changeset |
files
|