Index of /palmgren/coq/czf_and_setoids

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] PropasTypesUtf8Notat..> 2023-06-12 10:20 1.6K [   ] PropasTypesUtf8Notat..> 2023-06-12 10:20 2.3K [TXT] Readme2.txt 2023-06-12 10:20 2.4K [TXT] readme.txt 2023-06-12 10:20 2.8K [   ] PropasTypesBasics_mod.v 2023-06-12 10:20 4.6K [   ] PropasTypesUtf8Notat..> 2015-03-11 16:34 4.9K [   ] PropasTypesBasics_mo..> 2023-06-12 10:20 14K [   ] SwedishSetoids_mod.v 2023-06-12 10:20 17K [   ] SwedishSetoids_mod2.v 2023-06-12 10:20 19K [   ] CZF_pure.v 2023-06-12 10:20 19K [   ] PropasTypesBasics_mo..> 2015-03-11 16:34 22K [   ] CZF_pure_plus_REA.v 2023-06-12 10:20 23K [   ] CZFU_extension.v 2023-06-12 10:20 26K [   ] families_of_setoids_..> 2023-06-12 10:20 29K [   ] Generators.v 2023-06-12 10:20 41K [   ] PropasTypesBasics_mo..> 2015-03-11 16:34 44K [   ] PropasTypesUtf8Notat..> 2015-03-11 16:34 47K [   ] HF-categories.v 2023-06-12 10:20 60K [   ] Wsetoid.v 2023-06-12 10:20 67K [   ] SwedishSetoids_mod.glob 2023-06-12 10:20 72K [   ] CZF_pure.glob 2023-06-12 10:20 86K [   ] Two_categories_with_..> 2023-06-12 10:20 90K [   ] SwedishSetoids_mod.pdf 2015-03-11 16:34 94K [   ] SwedishSetoids_mod2...> 2023-06-12 10:20 96K [   ] CategoricalUniverse.v 2023-06-12 10:20 100K [   ] families_of_setoids_..> 2015-03-11 16:34 114K [   ] CZF_and_set_categori..> 2023-06-12 10:20 114K [   ] CZF_and_set_categori..> 2023-06-12 10:20 115K [   ] CZF_pure.pdf 2015-03-11 16:34 119K [   ] CategoricalUniverse-..> 2023-06-12 10:20 119K [   ] families_of_setoids_..> 2023-06-12 10:20 128K [   ] Generators.pdf 2015-03-11 16:34 130K [   ] CZF_pure_plus_REA.pdf 2015-03-11 16:34 134K [   ] CategoricalUniverse_..> 2023-06-12 10:20 144K [   ] SwedishSetoids_mod2.vo 2015-03-11 16:34 189K [   ] SwedishSetoids_mod.vo 2015-03-11 16:34 191K [   ] czf&setoids.pdf 2015-03-11 16:34 235K [   ] CategoricalUniverse.pdf 2015-03-11 16:34 258K [   ] czf&setoids_rvsd.pdf 2015-03-11 16:34 285K [   ] CZF_and_set_categori..> 2015-03-11 16:34 382K [   ] CZF_pure.vo 2015-03-11 16:34 441K [   ] families_of_setoids_..> 2015-03-11 16:34 1.0M