| 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 |