source: src/utilities/binary @ 891

Name Size Rev Age Author Last Change
../
positive.ma 29.0 KB 891   9 years campbell Revise proofs affected by recent matita change.
Z.ma 16.9 KB 891   9 years campbell Revise proofs affected by recent matita change.
Note: See TracBrowser for help on using the repository browser.