Ignore:
Timestamp:
Feb 16, 2011, 4:25:00 PM (9 years ago)
Author:
campbell
Message:

Make stuff from D4.1 work with my copy of matita.

File:
1 edited

Legend:

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