Changeset 221

Timestamp:
Nov 8, 2010, 11:17:39 AM (9 years ago)
Author:
mulligan
Message:

Starting formalisation in Matita

Location:
Deliverables/D4.1/Matita
Files:
2 added

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