src/ZF/ex/llistfn.thy
1993-11-15 lcp 1993-11-15 changed all co- and co_ to co ZF/ex/llistfn: new coinduction example: flip ZF/ex/llist_eq: now uses standard pairs not qpairs
1993-09-16 clasohm 1993-09-16 Initial revision