Eduardo Cavazos 5fcff67c9c Change usages of set-gadget-dim to (>>dim)		2008-07-21 21:59:08 -05:00
..
authors.txt	Initial import	2007-09-20 18:09:08 -04:00
slides.factor	Change usages of set-gadget-dim to (>>dim)	2008-07-21 21:59:08 -05:00
summary.txt	Updating summary and authors	2008-01-27 01:02:31 -04:00