HasCASL/test/Foldl.hascasl

	Foldl.hascasl revision a47c2fa2e6f959970a3589f90785a37a9ec30f7f
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austeinvar a: Type
990d0e893f5b70e735cdf990af66e9ec6e91fa78Tinderbox Usertype List a
75c0816e8295e180f4bc7f10db3d0d880383bc1cMark Andrewsop nil : List a
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austeinop snoc: List a  -> a --> List a
4a14ce5ba00ab7bc55c99ffdcf59c7a4ab902721Automatic Updaterforall x:a
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austein. snoc nil x = snoc nil x
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austein
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austein