source: src/utilities/binary @ 1521

Name Size Rev Age Author Last Change
../
positive.ma 29.1 KB 1517   9 years sacerdot Ported to syntax of Matita 0.99.1.
Z.ma 16.9 KB 1521   9 years sacerdot Syntax change in Matita: change what where => change where what.
Note: See TracBrowser for help on using the repository browser.