| Wed, 06 Sep 2000 11:47:37 +0200 | paulson | new Iff theorem zero_le_succ_iff | changeset | files |
| Wed, 06 Sep 2000 08:39:31 +0200 | nipkow | *** empty log message *** | changeset | files |
| Wed, 06 Sep 2000 08:04:41 +0200 | nipkow | less_induct -> nat_less_induct | changeset | files |
| Tue, 05 Sep 2000 21:06:01 +0200 | wenzelm | improved meson setup; | changeset | files |
| Tue, 05 Sep 2000 18:59:22 +0200 | wenzelm | fixed quotes; | changeset | files |
| Tue, 05 Sep 2000 18:53:42 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 05 Sep 2000 18:53:21 +0200 | wenzelm | proper handling of hints; | changeset | files |