| Fri, 12 Oct 2012 18:58:20 +0200 |
wenzelm |
discontinued obsolete typedef (open) syntax;
|
file |
diff |
annotate
|
| Tue, 05 Jun 2012 10:12:54 +0200 |
haftmann |
apply preprocessing simpset also to rhs of abstract code equations
|
file |
diff |
annotate
|
| Tue, 05 Jun 2012 07:10:51 +0200 |
haftmann |
prefer sys.error over plain error in Scala to avoid deprecation warning
|
file |
diff |
annotate
|
| Sun, 29 Apr 2012 09:25:54 +0200 |
haftmann |
compact nat literals
|
file |
diff |
annotate
|
| Sat, 28 Apr 2012 09:55:01 +0200 |
haftmann |
rhs of abstract code equations are not subject to preprocessing: inline code abbrevs explicitly
|
file |
diff |
annotate
|
| Sun, 15 Apr 2012 20:41:46 +0200 |
haftmann |
tuned whitespace
|
file |
diff |
annotate
|
| Sat, 07 Apr 2012 20:24:39 +0200 |
haftmann |
explicit constructor Nat leaves nat_of as conversion
|
file |
diff |
annotate
|
| Fri, 30 Mar 2012 11:16:35 +0200 |
huffman |
removed redundant nat-specific copies of theorems
|
file |
diff |
annotate
|
| Tue, 27 Mar 2012 15:27:49 +0200 |
huffman |
generalize some theorems about div/mod
|
file |
diff |
annotate
|
| Sun, 25 Mar 2012 20:15:39 +0200 |
huffman |
merged fork with new numeral representation (see NEWS)
|
file |
diff |
annotate
|