| Sat, 09 Jun 2001 08:43:38 +0200 | paulson | renaming of evs in the Fake rule | changeset | files |
| Sat, 09 Jun 2001 08:42:29 +0200 | paulson | new material from the Sylow proof | changeset | files |
| Sat, 09 Jun 2001 08:42:06 +0200 | paulson | simplified a proof using new dvd rules | changeset | files |
| Sat, 09 Jun 2001 08:41:25 +0200 | paulson | moved Primes.thy from NumberTheory to Library | changeset | files |
| Fri, 08 Jun 2001 08:50:08 +0200 | nipkow | Removed BCV | changeset | files |
| Tue, 05 Jun 2001 09:51:04 +0200 | nipkow | *** empty log message *** | changeset | files |
| Tue, 05 Jun 2001 09:41:11 +0200 | nipkow | This is now superseded by MicroJava/BV | changeset | files |
| Fri, 01 Jun 2001 11:04:19 +0200 | paulson | renamed # to ## to avoid clashing with List cons | changeset | files |
| Fri, 01 Jun 2001 11:03:50 +0200 | paulson | now checks for leading meta-quantifiers and complains, instead of | changeset | files |
| Thu, 31 May 2001 22:34:58 +0200 | wenzelm | tuned | changeset | files |
| Thu, 31 May 2001 20:53:49 +0200 | wenzelm | added HOL-CTL; | changeset | files |
| Thu, 31 May 2001 20:52:51 +0200 | wenzelm | tuned | changeset | files |