| Sun, 15 Sep 2013 23:02:23 +0200 | blanchet | added missing theorems to "simps" collection | changeset | files |
| Sun, 15 Sep 2013 23:02:23 +0200 | blanchet | more (co)data docs | changeset | files |
| Sun, 15 Sep 2013 23:02:23 +0200 | blanchet | more (co)data docs | changeset | files |
| Sun, 15 Sep 2013 23:02:23 +0200 | blanchet | more (co)data docs | changeset | files |
| Sat, 14 Sep 2013 23:58:58 +0200 | wenzelm | merged | changeset | files |
| Sat, 14 Sep 2013 23:52:36 +0200 | wenzelm | tuned proofs; | changeset | files |
| Sat, 14 Sep 2013 22:50:15 +0200 | wenzelm | tuned magic number, for improved reactivity on old 2-core machine; | changeset | files |
| Sat, 14 Sep 2013 22:30:10 +0200 | wenzelm | tuned proofs; | changeset | files |
| Sat, 14 Sep 2013 22:34:25 +0200 | krauss | updated keywords | changeset | files |
| Sat, 14 Sep 2013 18:24:12 +0200 | haftmann | tuned proof | changeset | files |
| Sat, 14 Sep 2013 14:01:48 +0200 | wenzelm | merged | changeset | files |
| Sat, 14 Sep 2013 13:59:57 +0200 | wenzelm | tuned proofs; | changeset | files |
| Sat, 14 Sep 2013 20:57:22 +1000 | kleing | print find_thms result in reverse order so best result is on top | changeset | files |
| Sat, 14 Sep 2013 20:56:12 +1000 | kleing | more useful sorting of find_thms results | changeset | files |