Wed, 14 Oct 1998 11:51:11 +0200 | nipkow | See (* FIXME zero_neq_conv *) | changeset | files |
Wed, 14 Oct 1998 11:50:48 +0200 | nipkow | Nat: added zero_neq_conv | changeset | files |
Tue, 13 Oct 1998 14:25:01 +0200 | wenzelm | added Int.int; | changeset | files |