| Fri, 08 May 2009 08:07:05 +0200 | nipkow | merged | changeset | files |
| Fri, 08 May 2009 08:06:43 +0200 | nipkow | more lemmas | changeset | files |
| Fri, 08 May 2009 16:19:51 -0700 | huffman | rename constant sq_le to below; rename class sq_ord to below; less->below in many lemma names | changeset | files |
| Fri, 08 May 2009 19:28:11 +0100 | chaieb | fixed theorem statement | changeset | files |
| Fri, 08 May 2009 14:03:24 +0100 | chaieb | merged | changeset | files |
| Fri, 08 May 2009 14:02:33 +0100 | chaieb | Generalized distributivity theorems of radicals over multiplication, division and inverses | changeset | files |
| Fri, 08 May 2009 13:38:21 +0200 | haftmann | proper structure name | changeset | files |