Tue, 12 Oct 1999 18:59:45 +0200 | wenzelm | a4paper; | changeset | files |
Tue, 12 Oct 1999 10:24:05 +0200 | paulson | new "choose" lemmas by Florian Kammueller | changeset | files |
Mon, 11 Oct 1999 20:44:23 +0200 | wenzelm | improved presentation; | changeset | files |
Mon, 11 Oct 1999 20:43:38 +0200 | wenzelm | bind_thm "ccontr"; | changeset | files |
Mon, 11 Oct 1999 20:42:06 +0200 | wenzelm | files: separate by " "; | changeset | files |
Mon, 11 Oct 1999 16:07:35 +0200 | berghofe | - Documented monotonicity theorems. | changeset | files |
Mon, 11 Oct 1999 11:15:31 +0200 | wenzelm | a4paper; | changeset | files |