Changeset 254 for C-semantics/root


Ignore:
Timestamp:
Nov 22, 2010, 2:40:34 PM (9 years ago)
Author:
campbell
Message:

Reset matita root.

File:
1 edited

Legend:

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