Wed, 03 Oct 2007 19:49:33 +0200 | wenzelm | avoid unnamed infixes; | changeset | files |
Wed, 03 Oct 2007 19:36:05 +0200 | wenzelm | modernized specifications; | changeset | files |
Wed, 03 Oct 2007 00:03:01 +0200 | wenzelm | mark inductive results as internal; | changeset | files |