Index of /Voevodsky/files/files-annotated/Dropbox/For_the_web_site/Foundations

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[ ]u12.vo 2010-09-14 10:24 17KCoq proof file
[TXT]u12.v 2010-09-14 10:24 7.0KCoq proof file
[ ]u12.glob 2010-09-14 10:24 7.4K 
[ ]u2.vo 2010-09-14 10:22 180KCoq proof file
[ ]u2.v 2010-09-14 10:22 42KCoq proof file
[ ]u2.glob 2010-09-14 10:22 58K 
[ ]u1.vo 2010-09-14 10:22 180KCoq proof file
[ ]u1.v 2010-09-14 10:21 42KCoq proof file
[ ]u1.glob 2010-09-14 10:22 58K 
[ ]u01.vo 2010-09-14 10:24 17KCoq proof file
[TXT]u01.v 2010-09-14 10:20 7.0KCoq proof file
[ ]u01.glob 2010-09-14 10:24 7.4K 
[ ]u0.vo 2010-09-14 10:22 180KCoq proof file
[ ]u0.v 2010-09-14 10:21 42KCoq proof file
[ ]u0.glob 2010-09-14 10:22 58K 
[ ]foundations_current.vo 2010-09-14 18:54 31KCoq proof file
[ ]foundations_current...>2010-09-14 18:54 13K 
[TXT]foundations.v 2010-09-14 18:53 13KCoq proof file
[ ]exp12.vo 2010-09-12 10:01 1.1KCoq proof file
[ ]exp12.v 2010-09-12 10:01 184 Coq proof file
[ ]exp12.glob 2010-09-12 10:01 265  
[ ]exp012.v 2010-09-12 12:58 108 Coq proof file
[ ]exp01.vo 2010-09-12 10:01 1.1KCoq proof file
[ ]exp01.v 2010-09-12 10:01 184 Coq proof file
[ ]exp01.glob 2010-09-12 10:01 265