| Tue, 18 Sep 2012 03:24:51 +0200 |
nipkow |
beautified names
|
changeset |
files
|
| Tue, 18 Sep 2012 01:55:13 +0200 |
nipkow |
proved all upper bounds
|
changeset |
files
|
| Mon, 17 Sep 2012 21:33:12 +0200 |
blanchet |
tuned simpset
|
changeset |
files
|
| Mon, 17 Sep 2012 21:13:30 +0200 |
blanchet |
cleaner way of dealing with the set functions of sums and products
|
changeset |
files
|
| Mon, 17 Sep 2012 21:13:30 +0200 |
blanchet |
handle the general case with more than two levels of nesting when discharging induction prem prems
|
changeset |
files
|
| Mon, 17 Sep 2012 21:13:30 +0200 |
blanchet |
clean unfolding of prod and sum sets
|
changeset |
files
|
| Mon, 17 Sep 2012 21:13:30 +0200 |
blanchet |
got rid of one "auto" in induction tactic
|
changeset |
files
|
| Mon, 17 Sep 2012 16:57:22 +0200 |
traytel |
cleaned up internal naming scheme for bnfs
|
changeset |
files
|
| Wed, 19 Sep 2012 12:10:40 +0200 |
wenzelm |
more robust GUI component handlers;
|
changeset |
files
|
| Tue, 18 Sep 2012 21:16:48 +0200 |
wenzelm |
more rendering;
|
changeset |
files
|
| Tue, 18 Sep 2012 21:04:07 +0200 |
wenzelm |
minimal clipboard support (similar to org.lobobrowser.html.gui.HtmlBlockPanel);
|
changeset |
files
|
| Tue, 18 Sep 2012 19:50:09 +0200 |
wenzelm |
output is read-only;
|
changeset |
files
|