author | clasohm |
Thu, 08 Dec 1994 12:50:38 +0100 | |
changeset 199 | ad45e477926c |
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 |