00README.XXX
author kevin@6e1638ff-ae45-0410-89bd-df963105f760
Tue, 24 Jun 2008 19:46:06 +0000
changeset 17 c73e8beb4a20
parent 8 15e6335ff1d4
permissions -rw-r--r--
continuing work of evaluation map proof
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
8
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     1
nohypertex