Sat, 28 Feb 2009 16:00:38 +0000 local relation def; extended isotopy def
kevin@6e1638ff-ae45-0410-89bd-df963105f760 [Sat, 28 Feb 2009 16:00:38 +0000] rev 61
local relation def; extended isotopy def
(0) -30 -10 -1 +1 +10 +30 +100 +300 tip