Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Update comments | David Aspinall | 2000-09-23 |
* | Added Fiona's changes, cleaned up a little bit with header and footer | David Aspinall | 2000-08-14 |
* | functions for manipulating theorem dependencies | David Aspinall | 2000-07-19 |