| Tue, 07 May 2002 14:28:34 +0200 | wenzelm | be liberal about missing types; | changeset | files |
| Tue, 07 May 2002 14:28:34 +0200 | nipkow | *** empty log message *** | changeset | files |
| Tue, 07 May 2002 14:27:54 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 07 May 2002 14:27:39 +0200 | wenzelm | tuned presentation; | changeset | files |
| Tue, 07 May 2002 14:27:07 +0200 | wenzelm | \documentclass{report}; | changeset | files |
| Tue, 07 May 2002 14:26:32 +0200 | wenzelm | use eq_thm_prop instead of slightly inadequate eq_thm; | changeset | files |
| Tue, 07 May 2002 14:24:30 +0200 | wenzelm | clarified eq_thm; | changeset | files |