Commit 4dbf5816 authored by Claudio Sacerdoti Coen's avatar Claudio Sacerdoti Coen Committed by Claudio Sacerdoti Coen

'Initial commit'

parents

Too many changes to show.

To preserve performance only 1000 of 1000+ files are displayed.

This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
<?xml version="1.0" encoding="latin1"?>
<CONSTRAINTS>
<CONSTRAINT lhs="mathcomp.ssreflect.seq.1" rel="le" rhs="Coq.Init.Datatypes.44"/>
<CONSTRAINT lhs="mathcomp.ssreflect.eqtype.12" rel="le" rhs="Coq.ssr.ssrbool.527"/>
<CONSTRAINT lhs="mathcomp.ssreflect.eqtype.12" rel="le" rhs="Coq.Init.Datatypes.44"/>
<CONSTRAINT lhs="mathcomp.ssreflect.eqtype.12" rel="le" rhs="mathcomp.ssreflect.seq.1"/>
<CONSTRAINT lhs="mathcomp.ssreflect.fintype.22" rel="le" rhs="Coq.Init.Datatypes.44"/>
<CONSTRAINT lhs="mathcomp.ssreflect.fintype.22" rel="le" rhs="mathcomp.ssreflect.seq.1"/>
</CONSTRAINTS>
\ No newline at end of file
<?xml version="1.0" encoding="latin1"?>
<CONSTRAINTS>
</CONSTRAINTS>
\ No newline at end of file
<?xml version="1.0" encoding="latin1"?>
<CONSTRAINTS>
</CONSTRAINTS>
\ No newline at end of file
<?xml version="1.0" encoding="latin1"?>
<CONSTRAINTS>
</CONSTRAINTS>
\ No newline at end of file
<?xml version="1.0" encoding="latin1"?>
<CONSTRAINTS>
</CONSTRAINTS>
\ No newline at end of file
<?xml version="1.0" encoding="latin1"?>
<CONSTRAINTS>
</CONSTRAINTS>
\ No newline at end of file
<?xml version="1.0" encoding="latin1"?>
<CONSTRAINTS>
</CONSTRAINTS>
\ No newline at end of file
<?xml version="1.0" encoding="latin1"?>
<CONSTRAINTS>
</CONSTRAINTS>
\ No newline at end of file
<?xml version="1.0" encoding="latin1"?>
<CONSTRAINTS>
</CONSTRAINTS>
\ No newline at end of file
<?xml version="1.0" encoding="latin1"?>
<CONSTRAINTS>
</CONSTRAINTS>
\ No newline at end of file
<?xml version="1.0" encoding="latin1"?>
<CONSTRAINTS>
</CONSTRAINTS>
\ No newline at end of file
<?xml version="1.0" encoding="latin1"?>
<CONSTRAINTS>
<CONSTRAINT lhs="Set" rel="le" rhs="Coq.Init.Logic.8"/>
<CONSTRAINT lhs="mathcomp.ssreflect.fintype.22" rel="le" rhs="Coq.Init.Logic.8"/>
<CONSTRAINT lhs="mathcomp.ssreflect.fintype.22" rel="le" rhs="mathcomp.ssreflect.seq.1"/>
</CONSTRAINTS>
\ No newline at end of file
<?xml version="1.0" encoding="latin1"?>
<CONSTRAINTS>
<CONSTRAINT lhs="mathcomp.ssreflect.eqtype.12" rel="le" rhs="Coq.ssr.ssrbool.448"/>
<CONSTRAINT lhs="mathcomp.ssreflect.eqtype.12" rel="le" rhs="mathcomp.ssreflect.seq.1"/>
<CONSTRAINT lhs="mathcomp.ssreflect.fintype.22" rel="le" rhs="Coq.Init.Datatypes.44"/>
<CONSTRAINT lhs="mathcomp.ssreflect.fintype.22" rel="le" rhs="mathcomp.ssreflect.seq.1"/>
</CONSTRAINTS>
\ No newline at end of file
<?xml version="1.0" encoding="latin1"?>
<CONSTRAINTS>
<CONSTRAINT lhs="mathcomp.ssreflect.fintype.22" rel="le" rhs="mathcomp.ssreflect.seq.1"/>
</CONSTRAINTS>
\ No newline at end of file
<?xml version="1.0" encoding="latin1"?>
<CONSTRAINTS>
</CONSTRAINTS>
\ No newline at end of file
<?xml version="1.0" encoding="latin1"?>
<CONSTRAINTS>
</CONSTRAINTS>
\ No newline at end of file
<?xml version="1.0" encoding="latin1"?>
<CONSTRAINTS>
</CONSTRAINTS>
\ No newline at end of file
<?xml version="1.0" encoding="latin1"?>
<CONSTRAINTS>
</CONSTRAINTS>
\ No newline at end of file
<?xml version="1.0" encoding="latin1"?>
<CONSTRAINTS>
</CONSTRAINTS>
\ No newline at end of file
<?xml version="1.0" encoding="latin1"?>
<CONSTRAINTS>
</CONSTRAINTS>
\ No newline at end of file
<?xml version="1.0" encoding="latin1"?>
<CONSTRAINTS>
</CONSTRAINTS>
\ No newline at end of file
<?xml version="1.0" encoding="latin1"?>
<CONSTRAINTS>
</CONSTRAINTS>
\ No newline at end of file
<?xml version="1.0" encoding="latin1"?>
<CONSTRAINTS>
</CONSTRAINTS>
\ No newline at end of file
<?xml version="1.0" encoding="latin1"?>
<CONSTRAINTS>
</CONSTRAINTS>
\ No newline at end of file
<?xml version="1.0" encoding="latin1"?>
<CONSTRAINTS>
</CONSTRAINTS>
\ No newline at end of file
<?xml version="1.0" encoding="latin1"?>
<CONSTRAINTS>
</CONSTRAINTS>
\ No newline at end of file
<?xml version="1.0" encoding="latin1"?>
<CONSTRAINTS>
</CONSTRAINTS>
\ No newline at end of file
<?xml version="1.0" encoding="latin1"?>
<CONSTRAINTS>
</CONSTRAINTS>
\ No newline at end of file
<?xml version="1.0" encoding="latin1"?>
<CONSTRAINTS>
</CONSTRAINTS>
\ No newline at end of file