Tue, 05 Sep 2000 18:44:42 +0200 | wenzelm | recdef hints (attributes and modifiers); | changeset | files |
Tue, 05 Sep 2000 18:43:54 +0200 | wenzelm | added 'iff' modifier; | changeset | files |
Tue, 05 Sep 2000 18:43:22 +0200 | wenzelm | tuned; | changeset | files |
Tue, 05 Sep 2000 18:43:05 +0200 | wenzelm | updated; | changeset | files |
Tue, 05 Sep 2000 13:53:39 +0200 | nipkow | *** empty log message *** | changeset | files |
Tue, 05 Sep 2000 13:12:00 +0200 | paulson | tidied, proving gcd_greatest_iff and using induct_tac | changeset | files |