matita.cs.unibo.it Git - helm.git/tree

-rw-r--r--	2613	Disjoint_Union.mma	blob \| raw
-rw-r--r--	2247	Inclusion.mma	blob \| raw
-rw-r--r--	3029	Inverse_Image.mma	blob \| raw
-rw-r--r--	3813	Lexicographic_Exponentiation.mma	blob \| raw
-rw-r--r--	4380	Lexicographic_Product.mma	blob \| raw
-rw-r--r--	2562	Transitive_Closure.mma	blob \| raw
-rw-r--r--	2442	Union.mma	blob \| raw
-rw-r--r--	2885	Well_Ordering.mma	blob \| raw
-rw-r--r--	2051	Wellfounded.mma	blob \| raw

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