| Sun, 21 Oct 2007 17:48:11 +0200 | wenzelm | fixed proof: neq0_conv; | changeset | files |
| Sun, 21 Oct 2007 16:27:42 +0200 | wenzelm | modernized specifications ('definition', 'axiomatization'); | changeset | files |
| Sun, 21 Oct 2007 14:53:44 +0200 | nipkow | Eliminated most of the neq0_conv occurrences. As a result, many | changeset | files |