author | nipkow |
Fri, 02 Dec 1994 11:43:20 +0100 | |
changeset 194 | b93cc55cb7ab |
parent 177 | 768d3504d7cd |
permissions | -rw-r--r-- |
177
768d3504d7cd
The collection of theories required for inductive definitions.
nipkow
parents:
diff
changeset
|
1 |
Inductive = Gfp + Prod |