Changeset 471

Timestamp:
Jan 21, 2011, 10:19:52 AM (7 years ago)
Author:
mulligan
Message:

Deleted (now) superfluous custom library files in favour of using Matita standard library.

Location:
Deliverables/D4.1/Matita
Files:
9 deleted

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