Index of /palmgren/coq/czf_and_setoids

[ICO]NameLast modifiedSizeDescription
[DIR]Parent Directory  -  
[TXT]CZFU_extension.v11-Mar-2015 16:34 26K 
[ ]CZF_and_set_categories.pdf11-Mar-2015 16:34 382K 
[TXT]CZF_and_set_categories.v11-Mar-2015 16:34 114K 
[TXT]CZF_and_set_categories_corrected.v11-Mar-2015 16:34 115K 
[ ]CZF_pure.glob11-Mar-2015 16:34 86K 
[ ]CZF_pure.pdf11-Mar-2015 16:34 119K 
[TXT]CZF_pure.v11-Mar-2015 16:34 19K 
[ ]CZF_pure.vo11-Mar-2015 16:34 441K 
[ ]CZF_pure_plus_REA.pdf11-Mar-2015 16:34 134K 
[TXT]CZF_pure_plus_REA.v11-Mar-2015 16:34 23K 
[ ]CategoricalUniverse-test12.v11-Mar-2015 16:34 119K 
[ ]CategoricalUniverse.pdf11-Mar-2015 16:34 258K 
[ ]CategoricalUniverse.v11-Mar-2015 16:34 100K 
[ ]CategoricalUniverse_v2.v11-Mar-2015 16:34 144K 
[ ]Generators.pdf11-Mar-2015 16:34 130K 
[ ]Generators.v11-Mar-2015 16:34 41K 
[ ]HF-categories.v11-Mar-2015 16:34 60K 
[ ]PropasTypesBasics_mod.glob11-Mar-2015 16:34 14K 
[ ]PropasTypesBasics_mod.pdf11-Mar-2015 16:34 44K 
[TXT]PropasTypesBasics_mod.v11-Mar-2015 16:34 4.6K 
[ ]PropasTypesBasics_mod.vo11-Mar-2015 16:34 22K 
[ ]PropasTypesUtf8Notation.glob11-Mar-2015 16:34 1.6K 
[ ]PropasTypesUtf8Notation.pdf11-Mar-2015 16:34 47K 
[TXT]PropasTypesUtf8Notation.v11-Mar-2015 16:34 2.3K 
[ ]PropasTypesUtf8Notation.vo11-Mar-2015 16:34 4.9K 
[TXT]Readme2.txt11-Mar-2015 16:34 2.4K 
[ ]SwedishSetoids_mod.glob11-Mar-2015 16:34 72K 
[ ]SwedishSetoids_mod.pdf11-Mar-2015 16:34 94K 
[TXT]SwedishSetoids_mod.v11-Mar-2015 16:34 17K 
[ ]SwedishSetoids_mod.vo11-Mar-2015 16:34 191K 
[ ]SwedishSetoids_mod2.glob11-Mar-2015 16:34 96K 
[ ]SwedishSetoids_mod2.v11-Mar-2015 16:34 19K 
[ ]SwedishSetoids_mod2.vo11-Mar-2015 16:34 189K 
[TXT]Two_categories_with_eq_on_objects.v11-Mar-2015 16:34 90K 
[TXT]Wsetoid.v11-Mar-2015 16:34 67K 
[ ]czf&setoids.pdf11-Mar-2015 16:34 235K 
[ ]czf&setoids_rvsd.pdf11-Mar-2015 16:34 285K 
[ ]families_of_setoids_and_LCCC.glob11-Mar-2015 16:34 128K 
[ ]families_of_setoids_and_LCCC.pdf11-Mar-2015 16:34 114K 
[TXT]families_of_setoids_and_LCCC.v11-Mar-2015 16:34 29K 
[ ]families_of_setoids_and_LCCC.vo11-Mar-2015 16:34 1.0M 
[TXT]readme.txt11-Mar-2015 16:34 2.8K