Changeset 689

Timestamp:
Mar 18, 2011, 11:33:37 AM (9 years ago)
Author:
mulligan
Message:

Got rid of old Matita development files.

Location:
src/ASM
Files:
17 deleted

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