Changeset 2741

Timestamp:
Feb 27, 2013, 5:16:00 PM (7 years ago)
Author:
sacerdot
Message:

File used only by untrusted code.
Implemented in Matita to exploit better typing.

File:
1 added

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