HasCASL/test/Foldl.hascasl

	Foldl.hascasl revision a47c2fa2e6f959970a3589f90785a37a9ec30f7f
a47c2fa2e6f959970a3589f90785a37a9ec30f7fChristian Maedervar a: Type
a47c2fa2e6f959970a3589f90785a37a9ec30f7fChristian Maedertype List a
a47c2fa2e6f959970a3589f90785a37a9ec30f7fChristian Maederop nil : List a
a47c2fa2e6f959970a3589f90785a37a9ec30f7fChristian Maederop snoc: List a  -> a --> List a
a47c2fa2e6f959970a3589f90785a37a9ec30f7fChristian Maederforall x:a
a47c2fa2e6f959970a3589f90785a37a9ec30f7fChristian Maeder. snoc nil x = snoc nil x
a47c2fa2e6f959970a3589f90785a37a9ec30f7fChristian Maeder