]>
drwxr-xr-x | .. | ||
-rw-r--r-- | 4945 | Berardi.mma | blob | history | raw |
-rw-r--r-- | 3509 | ChoiceFacts.mma | blob | history | raw |
-rw-r--r-- | 1795 | Classical.mma | blob | history | raw |
-rw-r--r-- | 2253 | ClassicalChoice.mma | blob | history | raw |
-rw-r--r-- | 2641 | ClassicalDescription.mma | blob | history | raw |
-rw-r--r-- | 7006 | ClassicalFacts.mma | blob | history | raw |
-rw-r--r-- | 2451 | Classical_Pred_Set.mma | blob | history | raw |
-rw-r--r-- | 2461 | Classical_Pred_Type.mma | blob | history | raw |
-rw-r--r-- | 2887 | Classical_Prop.mma | blob | history | raw |
-rw-r--r-- | 1809 | Classical_Type.mma | blob | history | raw |
-rw-r--r-- | 2662 | Decidable.mma | blob | history | raw |
-rw-r--r-- | 3667 | Diaconescu.mma | blob | history | raw |
-rw-r--r-- | 5029 | Eqdep.mma | blob | history | raw |
-rw-r--r-- | 3862 | Eqdep_dec.mma | blob | history | raw |
-rw-r--r-- | 3804 | Hurkens.mma | blob | history | raw |
-rw-r--r-- | 2616 | JMeq.mma | blob | history | raw |
-rw-r--r-- | 5143 | ProofIrrelevance.mma | blob | history | raw |
-rw-r--r-- | 1846 | RelationalChoice.mma | blob | history | raw |