| 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 |
| Sat, 09 Oct 1999 23:19:20 +0200 | wenzelm | added structured version of the proof; | changeset | files |
| Sat, 09 Oct 1999 23:18:01 +0200 | wenzelm | improved; | changeset | files |
| Sat, 09 Oct 1999 23:17:47 +0200 | wenzelm | bib; | changeset | files |
| Sat, 09 Oct 1999 23:16:59 +0200 | wenzelm | support bibtex; | changeset | files |