The invention provides a clock kit comprising a clock housing, decorative means adapted to project from the housing, a clock motor support means, a motor housing, hour indicators, hour and minute hands and a felt covering, and optionally a soft pad having the shape of the clock. The clock housing blank comprising a base, a plurality of circumferential tabs extending from the base, the tabs when taken together substantially extending about the circumference of the base, said tabs being folded out of the plane of said base to be perpendicular to said base with the extension of one tab being positioned against the adjacent tab and adhesively held in such position. The tabs are of such design and structure as to permit decorative means to be attached thereto and to project outward thereof.
[1]
Alonzo Church,et al.
A formulation of the simple theory of types
,
1940,
Journal of Symbolic Logic.
[2]
de Ng Dick Bruijn.
Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem
,
1972
.
[3]
Krzysztof R. Apt,et al.
Contributions to the Theory of Logic Programming
,
1982,
JACM.
[4]
Gérard P. Huet,et al.
A Unification Algorithm for Typed lambda-Calculus
,
1975,
Theor. Comput. Sci..
[5]
Dale A. Miller,et al.
AN OVERVIEW OF PROLOG
,
1988
.