| Fri, 19 Jun 2009 22:49:38 +0200 | nipkow | merged | changeset | files |
| Fri, 19 Jun 2009 22:49:12 +0200 | nipkow | Made Pi_I [simp] | changeset | files |
| Fri, 19 Jun 2009 21:08:07 +0200 | haftmann | merged | changeset | files |
| Fri, 19 Jun 2009 19:45:00 +0200 | haftmann | discontinued ancient tradition to suffix certain ML module names with "_package" | changeset | files |
| Fri, 19 Jun 2009 17:26:40 +0200 | haftmann | more appropriate syntax for IML abstraction | changeset | files |
| Fri, 19 Jun 2009 17:23:21 +0200 | haftmann | discontinued ancient tradition to suffix certain ML module names with "_package" | changeset | files |
| Fri, 19 Jun 2009 20:22:46 +0200 | nipkow | merged | changeset | files |
| Fri, 19 Jun 2009 20:22:28 +0200 | nipkow | tuned | changeset | files |
| Fri, 19 Jun 2009 18:56:53 +0200 | nipkow | NewNumberTheory | changeset | files |
| Fri, 19 Jun 2009 18:33:10 +0200 | nipkow | Added NewNumberTheory by Jeremy Avigad | changeset | files |
| Fri, 19 Jun 2009 18:01:09 +0200 | nipkow | fixed thm name | changeset | files |
| Thu, 18 Jun 2009 18:31:14 -0700 | huffman | fix name clash with old/new prime libraries | changeset | files |
| Thu, 18 Jun 2009 12:00:03 -0700 | huffman | merged | changeset | files |
| Thu, 18 Jun 2009 11:52:37 -0700 | huffman | update to work with new GCD library | changeset | files |