Sat, 28 Feb 2009 16:00:38 +0000 | kevin | local relation def; extended isotopy def | file | diff | annotate |
Fri, 27 Feb 2009 03:29:41 +0000 | kevin | finished draft of fields definition; begin to work on local relations definition | file | diff | annotate |