| 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 |