matita.cs.unibo.it Git - helm.git/tree - helm/software/matita/contribs/procedural/Coq/Wellfounded/

drwxr-xr-x		..
-rw-r--r--	2602	Disjoint_Union.mma	blob \| history \| raw
-rw-r--r--	2236	Inclusion.mma	blob \| history \| raw
-rw-r--r--	2820	Inverse_Image.mma	blob \| history \| raw
-rw-r--r--	3800	Lexicographic_Exponentiation.mma	blob \| history \| raw
-rw-r--r--	4369	Lexicographic_Product.mma	blob \| history \| raw
-rw-r--r--	2551	Transitive_Closure.mma	blob \| history \| raw
-rw-r--r--	2429	Union.mma	blob \| history \| raw
-rw-r--r--	2874	Well_Ordering.mma	blob \| history \| raw
-rw-r--r--	2040	Wellfounded.mma	blob \| history \| raw

Unnamed repository; edit this file 'description' to name the repository.