notes for response to referee report
author Kevin Walker <kevin@canyon23.net>
Sat, 22 Oct 2011 22:31:00 -0600
changeset 915 e8e234aeb266
parent 861 84bb5ab4c85c
permissions -rw-r--r--
begin to incorporate recent n-cat axiom changes into the module axioms

notes for response to referee report

- We incorporated all the suggestions of the referee, with the following exceptions...

- RR7: ...





- (?) include blob_changes_v3 (?)