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 |