]>
-rw-r--r-- | 2754 | AddProps.mma | blob | raw |
-rw-r--r-- | 2888 | Axioms.mma | blob | raw |
-rw-r--r-- | 2598 | Definitions.mma | blob | raw |
-rw-r--r-- | 1894 | DiscrAxioms.mma | blob | raw |
-rw-r--r-- | 1912 | DiscrProps.mma | blob | raw |
-rw-r--r-- | 2428 | EqAxioms.mma | blob | raw |
-rw-r--r-- | 2133 | EqParams.mma | blob | raw |
-rw-r--r-- | 1997 | GeAxioms.mma | blob | raw |
-rw-r--r-- | 1626 | GeProps.mma | blob | raw |
-rw-r--r-- | 1996 | GtAxioms.mma | blob | raw |
-rw-r--r-- | 1626 | GtProps.mma | blob | raw |
-rw-r--r-- | 2005 | LeAxioms.mma | blob | raw |
-rw-r--r-- | 3695 | LeProps.mma | blob | raw |
drwxr-xr-x | - | Leibniz | tree |
-rw-r--r-- | 3292 | LtProps.mma | blob | raw |
-rw-r--r-- | 2411 | NSyntax.mma | blob | raw |
drwxr-xr-x | - | Nat | tree |
-rw-r--r-- | 2213 | NeqAxioms.mma | blob | raw |
-rw-r--r-- | 2320 | NeqDef.mma | blob | raw |
-rw-r--r-- | 1937 | NeqParams.mma | blob | raw |
-rw-r--r-- | 2501 | NeqProps.mma | blob | raw |
-rw-r--r-- | 1626 | OppAxioms.mma | blob | raw |
-rw-r--r-- | 1626 | OppProps.mma | blob | raw |
-rw-r--r-- | 2460 | Params.mma | blob | raw |
-rw-r--r-- | 1626 | SubProps.mma | blob | raw |