(* Title: Coinductive developments in Isabelle/HOL Author: Andreas Lochbihler Maintainer: Andreas Lochbihler *) theory Coinductive imports Coinductive_List_Prefix Coinductive_Stream TLList Quotient_Coinductive_List Quotient_TLList begin end