Mon, 11 Oct 1999 10:48:44 +0200 | paulson | new thm card_Diff_singleton; tidied | changeset | files |
Sat, 09 Oct 1999 23:20:49 +0200 | wenzelm | more explanations; | changeset | files |
Sat, 09 Oct 1999 23:20:02 +0200 | wenzelm | tuned presentation; | changeset | files |