Changeset 1144 for src/ERTL/build.ma

Timestamp:
Aug 30, 2011, 3:53:21 PM (9 years ago)
Author:
mulligan
Message:

added build.ma file. matita bug found

File:
1 added

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