| Wed, 18 Sep 2013 17:36:47 +0200 | blanchet | no need thanks to "Code.abort" | changeset | files |
| Wed, 18 Sep 2013 16:44:19 +0200 | blanchet | minor change related to code equations in primcorec | changeset | files |
| Wed, 18 Sep 2013 16:09:15 +0200 | traytel | don't unfold as eager as in 11a77e4aa98b | changeset | files |
| Wed, 18 Sep 2013 16:09:02 +0200 | traytel | tuned proofs | changeset | files |
| Wed, 18 Sep 2013 15:56:15 +0200 | blanchet | use singular to avoid confusion | changeset | files |
| Wed, 18 Sep 2013 15:33:32 +0200 | blanchet | new tactics for constructor view | changeset | files |
| Wed, 18 Sep 2013 15:33:32 +0200 | blanchet | tuning | changeset | files |
| Wed, 18 Sep 2013 15:33:31 +0200 | blanchet | fixed embarrassing typo in example | changeset | files |
| Wed, 18 Sep 2013 15:33:30 +0200 | blanchet | avoid duplicate simp rule warnings | changeset | files |
| Wed, 18 Sep 2013 12:16:10 +0200 | nipkow | added and tuned lemmas | changeset | files |
| Wed, 18 Sep 2013 00:11:15 +0200 | wenzelm | tuned proofs; | changeset | files |
| Tue, 17 Sep 2013 21:20:55 +0200 | wenzelm | updated to official polyml-5.5.1; | changeset | files |
| Tue, 17 Sep 2013 21:12:41 +0200 | wenzelm | updated to polyml-5.5.1; | changeset | files |
| Tue, 17 Sep 2013 17:17:55 +0200 | wenzelm | actually use x86_64 machine; | changeset | files |
| Tue, 17 Sep 2013 15:49:11 +0200 | kuncar | correct merging of restore data | changeset | files |
| Tue, 17 Sep 2013 15:18:14 +0200 | lammich | order_bot, order_top | changeset | files |