| 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 |
| Tue, 17 Sep 2013 14:10:33 +0200 | kuncar | include Int_Pow into Quotient_Examples; add end of the theory | changeset | files |
| Tue, 17 Sep 2013 13:40:44 +0200 | noschinl | NEWS: Simps_Case_Conv | changeset | files |
| Tue, 17 Sep 2013 08:42:51 +0200 | nipkow | added lemmas and made concerse executable | changeset | files |
| Tue, 17 Sep 2013 01:11:37 +0200 | blanchet | merge | changeset | files |
| Tue, 17 Sep 2013 01:09:51 +0200 | blanchet | return right theorems | changeset | files |
| Tue, 17 Sep 2013 00:48:01 +0200 | blanchet | more (co)data docs | changeset | files |