| Sun, 28 Jan 2007 11:52:52 +0100 |
chaieb |
Now deals with simples cases where the input equations contain type variables
|
changeset |
files
|
| Fri, 26 Jan 2007 13:59:06 +0100 |
haftmann |
refined algorithm
|
changeset |
files
|
| Fri, 26 Jan 2007 13:59:04 +0100 |
haftmann |
clarified code
|
changeset |
files
|
| Fri, 26 Jan 2007 13:59:03 +0100 |
haftmann |
exported interface for explicit error messages
|
changeset |
files
|
| Fri, 26 Jan 2007 13:59:02 +0100 |
haftmann |
added NestedEnvironment
|
changeset |
files
|
| Fri, 26 Jan 2007 10:48:09 +0100 |
paulson |
Improved debugging
|
changeset |
files
|
| Fri, 26 Jan 2007 10:46:22 +0100 |
paulson |
Streamlined and improved debugging messages
|
changeset |
files
|
| Fri, 26 Jan 2007 10:46:15 +0100 |
nipkow |
more fixes of arithmetic for min/max.
|
changeset |
files
|
| Fri, 26 Jan 2007 10:24:33 +0100 |
paulson |
min/max lemmas (actually unused!)
|
changeset |
files
|
| Fri, 26 Jan 2007 10:24:12 +0100 |
paulson |
simplification of Suc/numeral combinations with min, max
|
changeset |
files
|
| Fri, 26 Jan 2007 10:22:42 +0100 |
paulson |
Fixed long-standing, MAJOR bug in "lt"
|
changeset |
files
|
| Fri, 26 Jan 2007 09:24:35 +0100 |
haftmann |
adjusted manual to improved treatment of overloaded constants
|
changeset |
files
|
| Thu, 25 Jan 2007 16:57:57 +0100 |
nipkow |
Allows evaluation of min/max o numerals.
|
changeset |
files
|
| Thu, 25 Jan 2007 09:32:56 +0100 |
haftmann |
fixed bug for OCaml bigints
|
changeset |
files
|
| Thu, 25 Jan 2007 09:32:51 +0100 |
haftmann |
tuned
|
changeset |
files
|