Fri, 18 Jul 2008 18:25:53 +0200 | haftmann | moved op dvd to theory Ring_and_Field; generalized a couple of lemmas | changeset | files |
Fri, 18 Jul 2008 17:09:48 +0200 | wenzelm | fixed Scala path; | changeset | files |
Thu, 17 Jul 2008 21:24:26 +0200 | wenzelm | tuned build order; | changeset | files |