| Tue, 09 May 2000 14:33:43 +0200 | wenzelm | named "op ^" definitions; | file | diff | annotate |
| Fri, 30 Oct 1998 10:45:08 +0100 | paulson | Moved "instance set:...{power} from Set.thy to RelPow.thy, where is is needed | file | diff | annotate |
| Fri, 02 Oct 1998 14:28:39 +0200 | nipkow | id <-> Id | file | diff | annotate |
| Fri, 24 Jul 1998 13:03:20 +0200 | berghofe | Adapted to new datatype package. | file | diff | annotate |
| Fri, 30 May 1997 15:19:58 +0200 | paulson | Overloading of "^" requires new type class "power", with types "nat" and | file | diff | annotate |
| Thu, 06 Mar 1997 16:06:08 +0100 | pusch | primrec definition for ^ | file | diff | annotate |
| Tue, 25 Jun 1996 13:11:29 +0200 | berghofe | Changed argument order of nat_rec. | file | diff | annotate |
| Thu, 15 Feb 1996 08:10:36 +0100 | nipkow | Added a few thms and the new theory RelPow. | file | diff | annotate |