Wed, 06 Sep 2000 19:01:37 +0200 | wenzelm | make SML/NJ happy; | changeset | files |
Wed, 06 Sep 2000 17:58:37 +0200 | wenzelm | fixed structure U; | changeset | files |
Wed, 06 Sep 2000 17:17:08 +0200 | nipkow | less_induct -> nat_less_induct | changeset | files |