| Wed, 21 Oct 2009 00:36:12 +0200 |
wenzelm |
standardized basic operations on type option;
|
file |
diff |
annotate
|
| Tue, 20 Oct 2009 10:46:42 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Tue, 20 Oct 2009 08:10:31 +0200 |
haftmann |
more accurate checkpoints
|
file |
diff |
annotate
|
| Mon, 19 Oct 2009 16:34:12 +0200 |
haftmann |
dropped lazy code equations
|
file |
diff |
annotate
|
| Mon, 19 Oct 2009 21:54:57 +0200 |
wenzelm |
uniform use of Integer.add/mult/sum/prod;
|
file |
diff |
annotate
|
| Sat, 17 Oct 2009 16:58:03 +0200 |
wenzelm |
operations of structure Skip_Proof (formerly SkipProof) no longer require quick_and_dirty mode;
|
file |
diff |
annotate
|
| Thu, 15 Oct 2009 23:28:10 +0200 |
wenzelm |
replaced String.concat by implode;
|
file |
diff |
annotate
|
| Mon, 12 Oct 2009 09:25:26 +0200 |
haftmann |
using distinct rules directly
|
file |
diff |
annotate
|
| Thu, 08 Oct 2009 19:33:03 +0200 |
haftmann |
lookup for datatype constructors considers type annotations to resolve overloading
|
file |
diff |
annotate
|
| Tue, 23 Jun 2009 16:27:12 +0200 |
haftmann |
tuned interfaces of datatype module
|
file |
diff |
annotate
|
| Tue, 23 Jun 2009 12:09:30 +0200 |
haftmann |
uniformly capitialized names for subdirectories
|
file |
diff |
annotate
| base
|