| Tue, 05 Jun 2007 18:36:10 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 05 Jun 2007 18:36:09 +0200 | wenzelm | fixed type int vs. integer; | changeset | files |
| Tue, 05 Jun 2007 18:36:07 +0200 | wenzelm | renamed locale ring/semiring to gb_ring/gb_semiring to avoid clash with Ring_and_Field versions; | changeset | files |
| Tue, 05 Jun 2007 17:16:41 +0200 | huffman | add new lemmas | changeset | files |