From: adam Date: Sun, 25 Dec 2005 10:28:37 +0000 (-0500) Subject: added DiscreteTopology X-Git-Tag: tag_for_25-Mar~485 X-Git-Url: http://git.megacz.com/?p=sbp.git;a=commitdiff_plain;h=f2611533a5703f1256b5ed3a57e36b3909dedad0;hp=f2611533a5703f1256b5ed3a57e36b3909dedad0 added DiscreteTopology darcs-hash:20051225102837-5007d-98bb27c7f4d67e1461c6dccdc1ddfbce81b8f1b5.gz ---