On Sep 6, 2010, at 5:49 PM, Bob Paddock wrote: > Several times now in this thread I keep thinking that the language > Forth is being described. 'Words' built up on previously defined > 'words'...
It goes back to Euclid. "Theorems" built up on previously proven "theorems", with a small set of "definitions", "axioms", and "postulates" at the bottom. John Doty Noqsi Aerospace, Ltd. http://www.noqsi.com/ [email protected] _______________________________________________ geda-user mailing list [email protected] http://www.seul.org/cgi-bin/mailman/listinfo/geda-user
