Changeset 9804

Timestamp:
09/14/11 10:30:03 (14 years ago)
Author:
Mathieu Morlighem
Message:

new format for theorems, lighter

(No files)

Note: See TracChangeset for help on using the changeset viewer.