adding lazy list.

Author: Gregory Malecha

theories/Data/LazyList.v

@@ -0,0 +1,10 @@
+
+
+Section lazy_list.
+  Variable T : Type.
+
+  Inductive llist : Type :=
+  | lnil : llist
+  | lcons : T -> (unit -> llist) -> llist.
+
+End lazy_list.