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 |